3713 search results - page 214 / 743 » Constructing a Calculus of Programs |
138
click to vote
CSL
1992
Springer
15 years 7 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
135
click to vote
POPL
1992
ACM
15 years 7 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
149
click to vote
WCRE
1995
IEEE
15 years 7 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
124
click to vote
JFP
2002
15 years 3 months ago
2002
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...
149
click to vote
TPLP
2002
15 years 3 months ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...