1995 search results - page 257 / 399 » The Chemical Abstract Machine |
153
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
144
Voted
FM
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
97
Voted
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. The current prototype of the Genoa Active Message MAchine GAMMA is a low-overhead, Active Messages-based inter-process communication layer implemented mainly at kernel le...
138
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. We give a high-level description of some fundamental randomized and deterministic techniques for routing and sorting on xedconnection networks such as meshes, hypercubes ...
149
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...