Sciweavers

15 search results - page 1 / 3

» pldi 1998

67

Voted

PLDI
1998
ACM

109views Programming Languages» more PLDI 1998»

The Design and Implementation of a Certifying Compiler

15 years 2 months ago

The Design and Implementation of a Certifying Compiler

Download www.eecs.berkeley.edu

George C. Necula, Peter Lee

claim paper

Read More »

64

Voted

PLDI
1998
ACM

65views Programming Languages» more PLDI 1998»

The Implementation and Evaluation of Fusion and Contraction in Array Languages

15 years 2 months ago

The Implementation and Evaluation of Fusion and Contraction in Array Languages

Download userweb.cs.utexas.edu

E. Christopher Lewis, Calvin Lin, Lawrence Snyder

claim paper

Read More »

73

PLDI
1998
ACM

84views Programming Languages» more PLDI 1998»

Partial Online Cycle Elimination in Inclusion Constraint Graphs

15 years 2 months ago

Partial Online Cycle Elimination in Inclusion Constraint Graphs

Download www.cs.umd.edu

Manuel Fähndrich, Jeffrey S. Foster, Zhendong...

claim paper

Read More »

65

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

15 years 2 months ago

Thin Locks: Featherweight Synchronization for Java

Download cseweb.ucsd.edu

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauri...

claim paper

Read More »

90

Voted

PLDI
1998
ACM

96views Programming Languages» more PLDI 1998»

Eliminating Array Bound Checking Through Dependent Types

15 years 2 months ago

Eliminating Array Bound Checking Through Dependent Types

Download www.cs.cmu.edu

We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...

Hongwei Xi, Frank Pfenning

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »