957 search results - page 28 / 192 » Modular Static Program Analysis |
COMPSAC
2009
IEEE
14 years 5 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
SIGPLAN
2002
13 years 10 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
PLDI
2006
ACM
14 years 4 months ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
SAS
2007
Springer
14 years 5 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...