enter search term and/or author name
The pitfalls of verifying floating-point computations
Article No.: 12
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common...
On the complexity of partially-flow-sensitive alias analysis
N. Rinetzky, G. Ramalingam, M. Sagiv, E. Yahav
Article No.: 13
We introduce the notion of a partially-flow-sensitive analysis based on the number of read and write operations that are guaranteed to be analyzed in a sequential manner. We study the complexity of partially-flow-sensitive alias analysis...
AspectML: A polymorphic aspect-oriented functional programming language
Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
Article No.: 14
This article defines AspectML, a typed functional, aspect-oriented programming language. The main contribution of AspectML is the seamless integration of polymorphism, run-time type analysis and aspect-oriented programming language features. In...
We present a new approach to the old problem of adding global mutable state to purely functional languages. Our idea is to extend the language with “witnesses,” which is based on an arguably more pragmatic motivation than past...
Size-change termination with difference constraints
Amir M. Ben-Amram
Article No.: 16
This article considers an algorithmic problem related to the termination analysis of programs. More specifically, we are given bounds on differences in sizes of data values before and after every transition in the program's control-flow graph. Our...
PEAK—a fast and effective performance tuning system via compiler optimization orchestration
Zhelong Pan, Rudolf Eigenmann
Article No.: 17
Compile-time optimizations generally improve program performance. Nevertheless, degradations caused by individual compiler optimization techniques are to be expected. Feedback-directed optimization orchestration systems generate optimized...