1194 search results - page 103 / 239 » A Calculus for Predicative Programming |
106
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
99
Voted
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
124
Voted
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
137
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
140
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...