F. Nielson, H. Nielson, C. Hankin, Principles of Program Analysis, SpringerVerlag, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Online Cycle Detection and Difference Propagation for.. - David Pearce Paul Self-citation (Hankin) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Weighted Pushdown Systems and their - Application To Interprocedural (Correct)
No context found.
F. Nielson, H. Nielson, C. Hankin, Principles of Program Analysis, SpringerVerlag, 1999.
A Semantics for Procedure Local Heaps - And Its Ions (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
Flow Analysis Models for Interprocedural Program.. - Arun Lakhotia.. (1999) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of program analysis. Preprint, 1998.
Modal Transition Systems: A Foundation for - Three-Valued Program Analysis (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, 1999.
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
Pointer and Escape Analysis for Multithreaded Programs - Martin Rinard Alexandru (2001) (Correct)
No context found.
F. Nielson, H. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Pixy: A Static Analysis Tool for Detecting Web.. - Jovanovic, Kruegel.. (2006) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., 1999.
Process Oriented Discovery of Business Partners - Martens (2005) (Correct)
No context found.
Nielson, F., Nielson, H. R., and Hankin, C. (1999). Principles of Program Analysis. Springer-Verlag.
Simulation and Equivalence between BPEL Process Models - Martens (2005) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
L4Cars - Elphinstone, Heiser, Huuck, Petters, .. (2005) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. L. Hankin, Principles of Program Analysis. Springer, 1999.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Static Reduction Analysis for Imperative Object Oriented.. - Barthe, Serpette (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Index types for JVM method invocation - Songtao Xia Sxia (Correct)
No context found.
Nielson, F., Nielson, H. R., and Hankin, C. Principles of Program Analysis. Springer, October 1999.
Pointer and Escape Analysis for Multithreaded Programs - Salcianu, Rinard (2001) (13 citations) (Correct)
No context found.
F. Nielson, H. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Watchpoint Semantics: A Tool for Compositional and Focussed Static .. - Spoto (2001) (1 citation) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. SpringerVerlag, 1999.
Typestate Verification: Abstraction Techniques and.. - Field Goyal Ramalingam (2003) (2 citations) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 2001.
Security-Aware Program Transformations - Bartoletti, Degano, Ferrari (2003) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Complexity of Nesting Analysis in Mobile Ambients - Braghin, Cortesi, Luccio.. (Correct)
No context found.
F. Nielson, H. Riis Nielson, C.L. Hankin. Principles of Program Analysis. Springer, 1999.
Freshness Analysis in Security Protocols - Braghin, Cortesi, Focardi (2002) (Correct)
No context found.
F. Nielson, H. Riis Nielson, C.L. Hankin. Principles of Program Analysis. Springer, 1999. 3
Stack Inspection and Secure Program Transformations - Bartoletti, Degano, Ferrari (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Typestate Verification: Abstraction Techniques and.. - Field, Goyal.. (2004) (2 citations) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. SpringerVerlag, 2001.
Information Leakage Detection in Boundary Ambients - Braghin, Cortesi, Focardi (2003) (Correct)
No context found.
Nielson, F., H. R. Nielson and C. L. Hankin, \Principles of Program Analysis," Springer, 1999.
Automatic Abstraction - Using Generalized Model (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. SpringerVerlag, 1999.
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