4370 search results - page 332 / 874 » Algebra of Logic Programming |
161
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
191
click to vote
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
153
click to vote
ICFP
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
186
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
306
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...