3513 search results - page 334 / 703 » Super Logic Programs |
126
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We are interested in learning programs for multiple related tasks given only a few training examples per task. Since the program for a single task is underdetermined by its data, ...
119
click to vote
JAPLL
2007
15 years 3 months ago
2007
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
263
click to vote
LPAR
2012
Springer
13 years 11 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...
144
click to vote
TGC
2007
Springer
15 years 10 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...
123
click to vote
SCCC
1998
IEEE
15 years 8 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...