3713 search results - page 44 / 743 » Constructing a Calculus of Programs |
177
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
185
click to vote
PPDP
2004
Springer
16 years 9 days ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
218
Voted
IPPS
2006
IEEE
16 years 1 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 ...