Extended Static Checking for Java - Microsoft Research
research.microsoft.com
Cormac Flanagan. K. Rustan M. Leino. ∗. Mark Lillibridge. Greg Nelson. James B. Saxe. Raymie Stata. Compaq Systems Research Center 130 Lytton Ave.
books.google.com › booksFME 2001: Formal Methods for Increasing Software ...
books.google.de
Extended Static Checking home page, Compaq Systems Research Center. On the Web at research.compaq.com/SRC/esc Cormac Flanagan. Effective Static ...
Electronic Systems Design Seminar
ptolemy.berkeley.edu
Program Checking = Logic + Lambda. Dr. Cormac Flanagan HP Labs. Monday, September 9th, 2002, 4:00pm-5:00pm 540AB Cory Hall (DOP Center Classroom)
Houdini, an Annotation Assistant for ESC/Java | SpringerLink
link.springer.com
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking...
Google Groups: SoftMC'03: Call for Participation
: ... State-Explosion Problem in Software Model Checking Cormac Flanagan and
Google Groups: Principles of Programming Languages Call for Participation
: ... Partial-Order Reduction for Model Checking Software - Cormac Flanagan
Wikipedia: ISP Formal Verification Tool - Wikipedia
Jump up ^ Patrice Godefroid, Model Checking for Programming Languages using VeriSoft POPL 1997; Jump up ^ Cormac Flanagan and Patrice Godefroid, ...
All web results to the name "Cormac Flanagan"
Extended Static Checking for Java Cormac Flanagan K. Rustan M. Leino...
slideplayer.com
Extended Static Checking for Java Cormac Flanagan K. Rustan M. Leino Mark Lillibridge Greg Nelson James B. Saxe Raymie Stata Compaq SRC 18 June PLDI02,
2012: Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg...
drupal.sigplan.org
2012: Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. (for 2002) Extended Static Checking for Java. Citation.
Kenneth Knowles | Engineer, Computer Scientist, Collaborator |...
kennknowles.com
Hybrid Type Checking. With Cormac Flanagan. In Transaction on Programming Languages and Systems, (TOPLAS'10). Compositional and Decidable Checking …
www.nsf.gov › awardsearch › showAwardNSF Award Search: Award# Checking Atomicity for ...
www.nsf.gov
Cormac Flanagan and Stephen N. Freund. "Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs," Proceedings of the ACM Symposium on ...
NSF Award Search: Award# CAREER: Hybrid Atomicity Checking
www.nsf.gov
Cormac Flanagan, Stephen N. Freund, Marina Lifshin, and Shaz Qadeer. "Types for Atomicity: Static Checking and Inference for Java," ACM Transactions on ...
NSF Award Search: Award# Checking Atomicity for Improved...
www.nsf.gov
Cormac Flanagan and Patrice Godefroid. "Dynamic Partial Order Reduction for Software Model Checking," ACM Symposium on Principles of Programming
Stephen N. Freund - Williams College Computer Science
dept.cs.williams.edu
Caitlin Sadowski, Cormac Flanagan, and Stephen N. Freund European Symposium on Programming, Types for Atomicity: Static Checking and Inference ...
Sage: A Programming Language with Hybrid Type-Checking
sage.soe.ucsc.edu
Kenneth Knowles, Cormac Flanagan. Tech Report ... Dave Herman, Aaron Tomb, Cormac Flanagan Cormac Flanagan, Stephen N. Freund, and Aaron Tomb.
hybrid: A implementation of a type-checker for Lambda-H
hackage.haskell.org
The hybrid package. We have made an implementation of the language Lambda-H, described in the paper Hybrid Type Checking by Cormac Flanagan, which uses a hybrid type
Related search requests for Cormac Flanagan
| Kenneth Knowles Matthias Felleisen Stephen Freund | Mark Lillibridge Rajeev Joshi |
Person "Flanagan" (4) Forename "Cormac" (0) Name "Flanagan" (0) |
sorted by relevance / date