977 search results - page 168 / 196 » Logic programming with infinite sets |
103
click to vote
ENTCS
2008
15 years 16 days ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
97
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
108
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
103
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
140
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...