Programming Languages

34

click to vote

PLDI
1998
ACM

84views Programming Languages» more PLDI 1998»

Partial Online Cycle Elimination in Inclusion Constraint Graphs

14 years 3 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

35

click to vote

PLDI
1998
ACM

106views Programming Languages» more PLDI 1998»

Type-Based Alias Analysis

14 years 3 months ago

Download www.cs.ucla.edu

This paper evaluates three alias analyses based on programming language types. The ﬁrst analysis uses type compatibility to determine aliases. The second extends the ﬁrst by u...

Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss

claim paper

Read More »

30

click to vote

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

14 years 3 months ago

Download cseweb.ucsd.edu

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

claim paper

Read More »

35

click to vote

PLDI
1998
ACM

96views Programming Languages» more PLDI 1998»

Eliminating Array Bound Checking Through Dependent Types

14 years 3 months ago

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 »

35

click to vote

CADE
1998
Springer

137views Logical Reasoning» more CADE 1998»

Automated Theorem Proving in a Simple Meta-Logic for LF

14 years 3 months ago

Download www.cs.cmu.edu

Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...

Carsten Schürmann, Frank Pfenning

claim paper

Read More »

31

click to vote

ICFP
1998
ACM

75views Programming Languages» more ICFP 1998»

Encoding Types in ML-Like Languages

14 years 3 months ago

Download www.brics.dk

Zhe Yang

claim paper

Read More »

40

click to vote

ICFP
1998
ACM

77views Programming Languages» more ICFP 1998»

The Marriage of Effects and Monads

14 years 3 months ago

Download www.cs.tufts.edu

Philip Wadler

claim paper

Read More »

42

click to vote

ICFP
1998
ACM

76views Programming Languages» more ICFP 1998»

Recycling Continuations

14 years 3 months ago

Download www.cs.indiana.edu

If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...

Jonathan Sobel, Daniel P. Friedman

claim paper

Read More »

27

click to vote

ICFP
1998
ACM

69views Programming Languages» more ICFP 1998»

Implementing Typed Intermediate Languages

14 years 3 months ago