3713 search results - page 44 / 743 » Constructing a Calculus of Programs |
ASIAN
1998
Springer
15 years 2 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...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
PPDP
2004
Springer
15 years 3 months 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 ...
IPPS
2006
IEEE
15 years 3 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 ...