7456 search results - page 115 / 1492 » Parallelism in Logic Programming |
143
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
119
click to vote
AAAI
1990
15 years 3 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
140
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
128
Voted
SAS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
105
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Abstract. Nontrivial meta-complexity theorems, proved once for a programming language as a whole, facilitate the presentation and analysis of particular algorithms. This paper give...