2236 search results - page 137 / 448 » Language Independence and Language Tolerance in Logic Progra... |
173
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
324
click to vote
LPAR
2012
Springer
14 years 2 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...
257
click to vote
ICAI
2010
15 years 4 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
166
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
170
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...