3713 search results - page 544 / 743 » Constructing a Calculus of Programs |
130
click to vote
MA
1999
Springer
15 years 7 months ago
1999
Springer
Mobile agents, programs that move within a system performing a set of tasks, are an active field of research. The focus of current research, however, is on the development of exe...
131
click to vote
IEEEPACT
1998
IEEE
15 years 7 months ago
1998
IEEE
Conventional speculative architectures use branch prediction to evaluate the most likely execution path during program execution. However, certain branches are difficult to predic...
117
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
148
click to vote
IFL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
135
click to vote
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...