590 search results - page 1 / 118 » From Relational Specifications to Logic Programs |
90
Voted
ICLP
2010
Springer
15 years 4 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...
123
Voted
ICFP
2005
ACM
16 years 6 days ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
87
Voted
DALT
2006
Springer
15 years 4 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
100
click to vote
CORR
2010
Springer
15 years 11 days ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
ENTCS
2007
15 years 6 days ago
2007