1880 search results - page 85 / 376 » A Static Analysis for Beta-Binders |
205
click to vote
POPL
2004
ACM
16 years 2 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
KES
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
135
click to vote
ACSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
134
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...