32 search results - page 1 / 7 » A Staged Static Program Analysis to Improve the Performance ... |
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
ECOOP
1995
Springer
13 years 8 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...
ICSE
2010
IEEE-ACM
13 years 7 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
PLDI
2009
ACM
13 years 12 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...