3515 search results - page 217 / 703 » On the semantics of Strategy Logic |
171
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
218
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
185
click to vote
SLP
1997
15 years 8 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
208
click to vote
LISP
2007
15 years 7 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
197
click to vote
ENTCS
2008
15 years 7 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...