6960 search results - page 204 / 1392 » Continuity Analysis of Programs |
100
Voted
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
136
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
266
Voted
FM
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
130
Voted
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
107
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...