POPL
1996
ACM
14 years 3 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
POPL
1996
ACM
14 years 3 months ago
1996
ACM
POPL
1996
ACM
14 years 3 months ago
1996
ACM
POPL
1996
ACM
14 years 3 months ago
1996
ACM
POPL
1996
ACM
14 years 3 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
POPL
1996
ACM
14 years 3 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
PLDI
1996
ACM
14 years 3 months ago
1996
ACM
PLDI
1996
ACM
14 years 3 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
PLDI
1996
ACM
14 years 3 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
PLDI
1996
ACM
14 years 3 months ago
1996
ACM
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...