PLDI
1996
ACM
13 years 12 months ago
1996
ACM
High performance compilers increasingly rely on accurate modeling of the machine resources to efficiently exploit the instruction level parallelism of an application. In this pape...
PLDI
1996
ACM
13 years 12 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
PLDI
1996
ACM
13 years 12 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
PLDI
1996
ACM
13 years 12 months ago
1996
ACM
PLDI
1996
ACM
13 years 12 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
PLDI
1996
ACM
13 years 12 months ago
1996
ACM
ICFP
1996
ACM
13 years 12 months ago
1996
ACM
ICFP
1996
ACM
13 years 12 months ago
1996
ACM
ICFP
1996
ACM
13 years 12 months ago
1996
ACM
ICFP
1996
ACM
13 years 12 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...