108
click to vote
APL
1995
ACM
15 years 7 months ago
1995
ACM
The behavior of one and two dimensional automata are displayed in two and three dimensions and via animations. Implementations of finite automata in J using "infix" and ...
132
click to vote
SAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based vers...
SAS
2000
Springer
15 years 7 months ago
2000
Springer
131
click to vote
APL
1995
ACM
15 years 7 months ago
1995
ACM
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
117
click to vote
SAS
2000
Springer
15 years 7 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...