Sciweavers

10 search results - page 1 / 2
» pldi 1996
Sort
View
79
Voted
PLDI
1996
ACM
15 years 2 months ago
Printing Floating-Point Numbers Quickly and Accurately
Robert G. Burger, R. Kent Dybvig
67
Voted
PLDI
1996
ACM
15 years 2 months ago
Teapot: Language Support for Writing Memory Coherence Protocols
Satish Chandra, Brad Richards, James R. Larus
62
Voted
PLDI
1996
ACM
15 years 2 months ago
TIL: A Type-Directed Optimizing Compiler for ML
David Tarditi, J. Gregory Morrisett, Perry Cheng, ...
84
Voted
PLDI
1996
ACM
15 years 2 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
110
Voted
PLDI
1996
ACM
15 years 2 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