4716 search results - page 99 / 944 » Iterative-free program analysis |
POPL
1997
ACM
15 years 1 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
102
click to vote
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
POPL
1995
ACM
15 years 1 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...