Sciweavers

10 search results - page 1 / 2
» pldi 1996
Sort
View
PLDI
1996
ACM
13 years 10 months ago
Teapot: Language Support for Writing Memory Coherence Protocols
Satish Chandra, Brad Richards, James R. Larus
PLDI
1996
ACM
13 years 10 months ago
TIL: A Type-Directed Optimizing Compiler for ML
David Tarditi, J. Gregory Morrisett, Perry Cheng, ...
PLDI
1996
ACM
13 years 10 months ago
Representing Control in the Presence of One-Shot Continuations
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
Carl Bruggeman, Oscar Waddell, R. Kent Dybvig
PLDI
1996
ACM
13 years 10 months ago
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators
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...
Mark W. Bailey, Jack W. Davidson