![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 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](https://www.pdfsearch.io/img/3a24bb9a078d61259d4565f5b76a4094.jpg) Date: 2010-09-11 18:26:03Software 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 ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 124,97 KBShare Document on Facebook
|