3671 search results - page 81 / 735 » On Garbage and Program Logic |
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
112
click to vote
JUCS
2006
14 years 11 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
204
click to vote
LPAR
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...