4370 search results - page 332 / 874 » Algebra of Logic Programming |
94
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
113
Voted
PPDP
1999
Springer
15 years 5 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...
95
Voted
ICFP
1998
ACM
15 years 5 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...
107
Voted
APLAS
2010
ACM
15 years 1 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...
215
Voted
POPL
2008
ACM
16 years 1 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...