POS
1990
Springer
14 years 3 months ago
1990
Springer
POS
1990
Springer
14 years 3 months ago
1990
Springer
POPL
1990
ACM
14 years 3 months ago
1990
ACM
POPL
1990
ACM
14 years 3 months ago
1990
ACM
POPL
1990
ACM
14 years 3 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
POPL
1990
ACM
14 years 3 months ago
1990
ACM
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
PLDI
1990
ACM
14 years 3 months ago
1990
ACM
PLDI
1990
ACM
14 years 3 months ago
1990
ACM
Languages such as Scheme and Smalltalk that provide continuations as first-class data objects present a challenge to efficient implementation. Allocating activation records in a h...
PLDI
1990
ACM
14 years 3 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
PLDI
1990
ACM
14 years 3 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...