Flanagan, C. and Leino, K. R. M. 2001. Houdini, an annotation assistant for ESC/Java. In Formal Methods Europe (LNCS 2021). Berlin, Germany. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Formal specification of Gemplus' electronic purse case study - Cataņo, Huisman (2002) Self-citation (Formal) (Correct)
No context found.
C. Flanagan and K.R.M. Leino. Houdini, an annotation assistant for ESC/Java. In J.N. Oliveira and P. Zave, editors, Formal Methods Europe 2001 (FME'01): Formal Methods for Increasing Software Productivity, number 2021 in LNCS, pages 500--
Enforcing Resource Bounds via - Static Verification Of (Correct)
No context found.
Flanagan, C. and Leino, K. R. M. 2001. Houdini, an annotation assistant for ESC/Java. In Formal Methods Europe (LNCS 2021). Berlin, Germany.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for esc/java. In J. N. Oliveira and P. Zave, editors, FME 2001, volume LNCS 2021, pages 500-517. Springer, 2001.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for esc/java. In J. N. Oliveira and P. Zave, editors, FME 2001, volume LNCS 2021, pages 500--517. Springer, 2001.
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. (Correct)
No context found.
C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In Proceedings of FME 2001.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (2005) (Correct)
No context found.
C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In J. N. Oliveira and P. Zave, editors, FME 2001.
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
No context found.
C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for esc/java. In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, pages 500--517, London, UK, 2001. SpringerVerlag.
Automation for Exception Freedom Proofs - Bill Ellis And (2003) (Correct)
No context found.
C. Flanagan, K. Rustan, and M. Leino. Houdini, an annotation assistant for ESC/Java. In Proceedings of FME 2001.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
C. Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for ESC/Java. In Proceedings of FME 2001.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (Correct)
No context found.
C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In J. N. Oliveira and P. Zave, editors, FME 2001.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for esc/java. In J. N. Oliveira and P. Zave, editors, FME 2001.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Flanagan C, Leino KRM (2001) Houdini, an annotation assistant for ESC/Java. In: Oliveira JN, Zave P (eds) FME 2001. Lecture notes in computer science, vol 2021. Springer, Berlin Heidelberg New York, pp 500--517
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (2 citations) (Correct)
No context found.
C. Flanagan and K.R.M. Leino. Houdini, an annotation assistant for ESC/Java. In J.N. Oliveira and P. Zave, editors, Formal Methods Europe 2001.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for ESC/Java. In International Symposium of Formal Methods Europe 2001: Formal Methods for Increasing Software Productivity, volume 2021 of Lecture Notes in Computer Science, pages 500-517, Berlin, Germany, March 2001.
Invariant Inference for Static Checking: An Empirical Evaluation - Nimmer, Ernst (2002) (1 citation) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for ESC/Java. In Formal Methods Europe, volume 2021 of LNCS, pages 500-517, Berlin, Germany, March 2001.
Automatic Generation of Program Specifications - Nimmer, Ernst (2002) (4 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for ESC/Java. In Formal Methods Europe, volume 2021 of LNCS, pages 500--517, Berlin, Germany, March 2001.
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (11 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for ESC/Java. In International Symposium of Formal Methods Europe 2001.
An Overview of JML Tools and Applications - Burdy, al. (2003) (16 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for esc/java. In J. N. Oliveira and P. Zave, editors, FME 2001, volume LNCS 2021, pages 500--517. Springer, 2001.
ESP: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner, Seigle (2002) (46 citations) (Correct)
No context found.
C. Flanagan and R. Leino. Houdini, an annotation assistant for esc/java. In Symposium of Formal Methods Europe, March 2001.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for esc/java. In J. N. Oliveira and P. Zave, editors, FME 2001, volume LNCS 2021, pages 500-517. Springer, 2001.
Interfaces for Modular Feature Verification - Harry Li Hcli (2002) (3 citations) (Correct)
No context found.
C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In Formal Methods Europe, 2001.
Certification Support for Automatically Generated Programs - Schumann, Fischer.. (2003) (Correct)
No context found.
C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In J. Oliveira and P. Zave (eds.), Proc. Intl. Symp. Formal Methods Europe 2001.
An overview of JML tools and applications - Www Jmlspecs Org (2003) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for esc/java. In J. N. Oliveira and P. Zave, editors, FME 2001.
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (2 citations) (Correct)
No context found.
C. Flanagan and K.R.M. Leino. Houdini, an annotation assistant for ESC/Java. In J.N. Oliveira and P. Zave, editors, Formal Methods Europe 2001.
An overview of JML tools and applications - Burdy, Cheon, Ernst, Kiniry (2003) (16 citations) (Correct)
No context found.
Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for esc/java. In J. N. Oliveira and P. Zave, editors, FME 2001.
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