PLDI
1998
ACM
14 years 3 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
PLDI
1998
ACM
14 years 3 months ago
1998
ACM
PLDI
1998
ACM
14 years 3 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
PLDI
1998
ACM
14 years 3 months ago
1998
ACM
PLDI
1998
ACM
14 years 3 months ago
1998
ACM
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 ...