7 search results - page 1 / 2 » Scalable context-sensitive flow analysis using instantiation... |
PLDI
2000
ACM
13 years 9 months ago
2000
ACM
ICSM
2005
IEEE
13 years 10 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
WCET
2008
13 years 6 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...