Back to Results
First PageMeta Content
Hoare 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 Dias
Add to Reading List

Document Date: 2010-03-12 16:07:46


Open Document

File Size: 291,73 KB

Share Result on Facebook