Back to Results
First PageMeta Content
Software engineering / Formal methods / Mathematical logic / Type theory / Theoretical computer science / Type systems / Edsger W. Dijkstra / Predicate transformer semantics / Extended static checking / ESC/Java / Type inference / HindleyMilner type system


1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.
Add to Reading List

Document Date: 2010-09-11 18:26:03


Open Document

File Size: 124,97 KB

Share Result on Facebook
UPDATE