3481 search results - page 375 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
282
click to vote
LPAR
2012
Springer
14 years 15 days 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...
155
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
134
Voted
SCCC
1998
IEEE
15 years 9 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
140
Voted
ICLP
1998
Springer
15 years 9 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
130
Voted
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...