Sciweavers

15 search results - page 1 / 3

» pldi 1998

20

PLDI
1998
ACM

109views Programming Languages» more PLDI 1998»

The Design and Implementation of a Certifying Compiler

13 years 11 months ago

The Design and Implementation of a Certifying Compiler

Download www.eecs.berkeley.edu

George C. Necula, Peter Lee

claim paper

Read More »

17

PLDI
1998
ACM

65views Programming Languages» more PLDI 1998»

The Implementation and Evaluation of Fusion and Contraction in Array Languages

13 years 11 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 »

20

PLDI
1998
ACM

84views Programming Languages» more PLDI 1998»

Partial Online Cycle Elimination in Inclusion Constraint Graphs

13 years 11 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 »

19

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

13 years 11 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 »

19

PLDI
1998
ACM

96views Programming Languages» more PLDI 1998»

Eliminating Array Bound Checking Through Dependent Types

13 years 11 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 »