3824 search results - page 251 / 765 » Geometry Constructions Language |
126
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
158
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...
129
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
119
click to vote
AML
2008
15 years 4 months ago
2008
A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional languag...
123
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...