Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999. ISBN 3--540--65410--0. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Static Analysis of Routing Protocols for Ad-Hoc Networks - Nanz, Hankin (2004) Self-citation (Hankin) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer, 1999.
Adaptation Of Control Programs To - Asynchronous Updates Richard (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999. ISBN 3--540--65410--0.
Precise Alias Analysis for Static Detection of Web.. - Jovanovic, Kruegel.. (Correct)
No context found.
Flemming Nielson, Hanne R. Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999.
Analyzing Web Service Based Business Processes - Martens (2005) (Correct)
No context found.
Flemming Nielson, Hanne R. Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Unknown - Optimization Of Straight-Line (2005) (Correct)
No context found.
Flemming Nielson, Hanne R. Nielson, and Chris Hankin. Principles of Program Analysis. Springer--Verlag, 1999.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer, 1999.
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer, 1999.
Completeness and Herbrand Theorems for Nominal Logic - Cheney (2006) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin, Principles of program analysis, second edition ed., Springer, 2005.
Partial Evaluation for Constraint-Based Program Analyses - Amtoft (2000) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer Verlag, 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. 18
Partial Evaluation for - Constraint-Based Program Analyses (1999) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer Verlag, 1999.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (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.
The <bigwig> Project - Brabrand, Møller, Schwartzbach (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer, 1999.
A Combined Pointer and Purity Analysis for Java Programs - Salcianu, Rinard (2004) (2 citations) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Retrospective: - Higher-Order Control-Flow Analysis (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer, 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.
Existential Heap Abstraction Entailment is Undecidable - Kuncak, Rinard (2003) (1 citation) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
A Logic for Analyzing Abstractions of Graph Transformation.. - Baldan, König, König (2003) (3 citations) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
Why AI + ILP is good for WCET, but MC is not, nor ILP alone - Wilhelm (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. SpringerVerlag, 1999.
Checking Access to Protected Members in the Java Virtual Machine - Coglio (2004) (Correct)
No context found.
Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, Berlin, 1998.
Java Card Safety and Security through Static - Analysis Ren Rydhof (2003) (Correct)
No context found.
Flemming Nileson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer Verlag, 1999.
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