76 search results - page 6 / 16 » Specification of real-time and hybrid systems in rewriting l... |
ENTCS
2000
14 years 9 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
104
click to vote
DAGSTUHL
1993
14 years 10 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
FDL
2003
IEEE
15 years 2 months ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
HYBRID
2010
Springer
14 years 7 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
CTRS
1987
15 years 27 days ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...