F. Nielson, H. Nielson, C. Hankin, Principles of Program Analysis, SpringerVerlag, 1999. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Weighted Pushdown Systems and their - Application To Interprocedural (Correct)
A Semantics for Procedure Local Heaps - And Its Ions (Correct)
Flow Analysis Models for Interprocedural Program.. - Arun Lakhotia.. (1999) (Correct)
Modal Transition Systems: A Foundation for - Three-Valued Program Analysis (Correct)
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
Pointer and Escape Analysis for Multithreaded Programs - Martin Rinard Alexandru (2001) (Correct)
Pixy: A Static Analysis Tool for Detecting Web.. - Jovanovic, Kruegel.. (2006) (Correct)
Process Oriented Discovery of Business Partners - Martens (2005) (Correct)
Simulation and Equivalence between BPEL Process Models - Martens (2005) (Correct)
L4Cars - Elphinstone, Heiser, Huuck, Petters, .. (2005) (Correct)
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
Static Reduction Analysis for Imperative Object Oriented.. - Barthe, Serpette (Correct)
Index types for JVM method invocation - Songtao Xia Sxia (Correct)
Pointer and Escape Analysis for Multithreaded Programs - Salcianu, Rinard (2001) (13 citations) (Correct)
Watchpoint Semantics: A Tool for Compositional and Focussed Static .. - Spoto (2001) (1 citation) (Correct)
Typestate Verification: Abstraction Techniques and.. - Field Goyal Ramalingam (2003) (2 citations) (Correct)
Security-Aware Program Transformations - Bartoletti, Degano, Ferrari (2003) (Correct)
Complexity of Nesting Analysis in Mobile Ambients - Braghin, Cortesi, Luccio.. (Correct)
Freshness Analysis in Security Protocols - Braghin, Cortesi, Focardi (2002) (Correct)
Stack Inspection and Secure Program Transformations - Bartoletti, Degano, Ferrari (Correct)
Typestate Verification: Abstraction Techniques and.. - Field, Goyal.. (2004) (2 citations) (Correct)
Information Leakage Detection in Boundary Ambients - Braghin, Cortesi, Focardi (2003) (Correct)
Automatic Abstraction - Using Generalized Model (Correct)
Online Cycle Detection and Difference Propagation for.. - David Pearce Paul Self-citation (Hankin) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC