5863 search results - page 70 / 1173 » Calculating Functional Programs |
SCP
2000
13 years 9 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
COSPS
2001
Springer
14 years 2 months ago
2001
Springer
Programming massively-parallel machine is a daunting task for any human programmer and parallelization may even be impossible for any compiler. Instead, the functional programming ...
SFP
2003
13 years 11 months ago
2003
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...
FPCA
1995
14 years 1 months ago
1995
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...
ICFP
2007
ACM
14 years 10 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...