CC
2006
Springer
14 years 3 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
CMMR
2007
Springer
14 years 3 months ago
2007
Springer
We describe a tool for real-time musical analysis based on a measure of roughness, the principal element of sensory dissonance. While most historical musical analysis is based on t...
PLILP
1992
Springer
14 years 3 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
SAS
1997
Springer
14 years 3 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
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...
ECOOP
1998
Springer
14 years 3 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
CHI
1998
ACM
14 years 3 months ago
1998
ACM
The Insight Lab is an immersive environment designed to support teams who create design requirements documents. Requirements emerge from a deep understanding of a problem domain, ...
37
Voted
KBSE
1998
IEEE
14 years 3 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
ESEC
1999
Springer
14 years 3 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
CC
2000
Springer
14 years 3 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...