Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
Aspect-oriented programmingAutomatic programmingCompile timeConcept programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Linking rings structures and semisymmetric graphs: Combinatorial constructions
This paper considers combinatorial methods of constructing LR structures: two isolated constructions, RC and SoP, two closely… 
2012
2012
Sequence Planning Using Multiple and Coordinated Sequences of Operations
The sequential behavior of a manufacturing system results from several constraints introduced during the product, manufacturing… 
2010
2010
Multicore Systems On-Chip: Practical Software/Hardware Design
  • B. Abderazek
  • Atlantis Ambient and Pervasive Intelligence
  • 2010
  • Corpus ID: 13511214
What do you do to start reading multicore systems on chip practical software hardware design? Searching the book that you love to… 
2008
2008
Synthesis of Autosymmetric Functions in a New Three-Level Form
Abstract Autosymmetric functions exhibit a special type of regularity that can speed-up the minimization process. Based on this… 
2008
2008
SiP/SoP technology and its implementation
  • L. Wan
  • International Conference on Electronic Packaging…
  • 2008
  • Corpus ID: 43871274
ldquoSystem-in-packagerdquo(SiP) and ldquosystem-on-packagerdquo (SoP) are different but similar in concepts. SiP and SoP… 
Highly Cited
2005
Highly Cited
2005
Packaging: past, present and future
In the past, microsystems packaging played two roles: 1) It provided I/O connections to and from devices, referred to as IC or… 
Highly Cited
1998
Highly Cited
1998
A Comparison of Presburger Engines for EFSM Reachability
Implicit state enumeration for extended finite state machines relies on a decision procedure for Presburger arithmetic. We… 
1997
1997
Logic synthesis for cellular architecture FPGAs using BDDs
In this paper, an efficient approach to the synthesis of CA (Cellular Architecture)-type FPGAs is presented. To exploit the array… 
1997
1997
Dynamic resource management on distributed systems using reconfigurable applications
Efficient management of distributed resources, under conditions of unpredictable and varying workload, requires enforcement of… 
Highly Cited
1994
Highly Cited
1994
Basic Gate Implementation of Speed-Independendent Circuits
Existing methods for synthesis of speedindependent circuits under unbounded delay model have difficulties in combining the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)