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.
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.
Online Cycle Detection and Difference Propagation for.. - David Pearce Paul (2003) Self-citation (Hankin) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) Self-citation (Hankin) (Correct)
No context found.
C. Hankin, F. Nielson, and H. Nielson. Principles of Program Analysis. Springer Verlag, 1999.
Quantitative Relations and Approximate Process Equivalences - Di Pierro, Hankin, Wiklicky (2003) (1 citation) Self-citation (Hankin) (Correct)
No context found.
F. Nielson, H. Riis Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, Berlin { Heidelberg, 1999.
Unknown - Self-citation (Nielson) (Correct)
No context found.
F. Nielson, H. Riis Nielson, and C. Hankin. Principles of Program Analysis. Springer, 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.
Timing Analysis of Optimised Code - Kirner, Puschner (2002) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999. ISBN: 3-54065410 -0.
Access Control by Tracking Shallow Execution History - Fong (2004) (2 citations) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
Domain Specific Languages for Interactive Web Services - Brabrand (2002) (1 citation) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, October 1999.
Cost Analysis using Automatic Size and Time Inference - Portillo, Hammond, Loidl, .. (2002) (Correct)
No context found.
Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer (1999)
Analysis and Optimisation of Event-Condition-Action Rules.. - Bailey, Poulovassilis.. (2001) (3 citations) (Correct)
No context found.
F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000) (1 citation) (Correct)
No context found.
F. Nielson, H. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Static Analysis for Eager Stack Inspection - Massimo Bartoletti Pierpaolo (2003) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer, 1999.
Static Analysis of XML Transformations in Java - Kirkegaard, Møller.. (2003) (3 citations) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis. Springer-Verlag, October 1999.
Simple verification technique for complex Java bytecode subroutines - Coglio (2004) (10 citations) (Correct)
No context found.
Nielson F, Nielson HR, Hankin C. Principles of Program Analysis. Springer: Berlin, 1998.
Grail: A Functional Form for Imperative Mobile Code - Beringer, MacKenzie, Stark (2003) (1 citation) (Correct)
No context found.
Nielson, F., H. R. Nielson and C. Hankin, "Principles of Program Analysis," Springer, 1999.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
F. Nielson, H. Riis Nielson, and C. L. Hankin. Principles of Program Analysis. Springer, 1999.
Analysis of Recursive Game Graphs using Data Flow Equations - Etessami (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
M. Dowse, A. Butterfield, M. van Eekelen , M. de Mol , R.. - Nijmegen Institute For (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis. Springer, 1999.
Enhancing Remote Method Invocation through Type-Based.. - Ghezzi, Martena, Picco (2003) (1 citation) (Correct)
No context found.
F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
Symbolic Bounds Analysis of Pointers, Array Indices, and.. - Rugina, Rinard (2000) (1 citation) (Correct)
No context found.
F. Nielson, H. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Shape Analysis - Wilhelm, Sagiv, Reps (2000) (11 citations) (Correct)
No context found.
F. Nielson, H. Riis Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, 1999.
Automatic Abstraction - Using Generalized Model (2002) (Correct)
No context found.
F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. SpringerVerlag, 1999.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999. Web page at www.imm.dtu.dk/~riis/PPA/ppa.html.
Program Verification with Monadic Second-Order Logic & Languages.. - Møller (2002) (Correct)
No context found.
F. NIELSON, H. R. NIELSON, AND C. HANKIN, Principles of Program Analysis, Springer-Verlag, October 1999.
Using Program Analysis Infrastructure for Software.. - Krinke, Streckenbach, .. (2003) (Correct)
No context found.
F. Nielson, H. Nielson, and C. Hankin. Principles of program analysis. Springer Verlag, 1999. 18
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