Semantic-oriented programming

Known as: SOP 
Semantic-oriented programming (SOP) is a programming paradigm in which the programmer formulizes the logic of a domain by means of semantic… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1994-2017
012319942017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In this work, several techniques for the optimization of expressions in a novel quaternary algebra are discussed thoroughly. This… (More)
  • figure 1
  • table III
  • table IV
  • table VI
  • table VII
Is this relevant?
2012
2012
The sequential behavior of a manufacturing system results from several constraints introduced during the product, manufacturing… (More)
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
Is this relevant?
2009
2009
This paper presents an expanding products algorithm of logic optimization that is based on multi-input multi-output logic… (More)
  • table 1
Is this relevant?
2005
2005
  • R. R. Tummala
  • 2005 6th International Conference on Electronic…
  • 2005
In the past, microsystems packaging played two roles: 1) It provided I/O connections to and from devices, referred to as IC or… (More)
  • figure 1
  • figure 3
  • table 1
  • figure 4
  • figure 2
Is this relevant?
2000
2000
Object oriented languages cannot express certain composition abstractions due to restricted abstraction power. A number of… (More)
Is this relevant?
1999
1999
In the process of logic synthesis and optimization, it is an important operation to extract common logic parts among several… (More)
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
1997
1997
| In this paper, an e cient approach to the synthesis of CA(Cellular Architecture)-type FPGAs is presented. To exploit the array… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 7
  • figure 10
Is this relevant?
1997
1997
Gueesang Lee Dept. of Computer Science The Chonnam National University Kwangju, Korea (Tel)082-62-520-6895, (FAX)082-62-524-0020… (More)
Is this relevant?
1995
1995
 
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Existing methods for synthesis of speedindependent circuits under unbounded delay model have difficulties in combining the… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • table 1
Is this relevant?