1989 search results - page 131 / 398 » Set functions for functional logic programming |
153
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
161
click to vote
TLDI
2010
ACM
15 years 3 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
215
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
135
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
156
click to vote
JAR
2008
15 years 3 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...