First Page | Document Content | |
---|---|---|
Date: 2010-03-12 16:07:46Hoare logic Static program analysis Predicate transformer semantics | Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao DiasAdd to Reading ListSource URL: www.cs.tufts.eduDownload Document from Source WebsiteFile Size: 291,73 KBShare Document on Facebook |