First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:26:03Mathematical logic Logic Mathematics Predicate logic Formal methods Semantics Edsger W. Dijkstra Predicate transformer semantics First-order logic FO Quantifier Equality | A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USAAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 131,55 KBShare Document on Facebook |