Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen)
Add to Reading List
Document Date: 2011-12-19 05:05:49
Open Document
File Size: 145,08 KB
Share Result on Facebook
Facility
Oxford University /
University of Copenhagen /
/
IndustryTerm
much arcane technology /
state transition systems /
worklist algorithms /
arcane technology /
/
Organization
University of Copenhagen /
Oxford University /
/
Person
Eric Van Wyk /
Carl C. Frederiksen /
Neil D. Jones /
David Lacey /
/
Technology
worklist algorithms /
much arcane technology /
/
SocialTag
Logic
Denotational semantics
Logic in computer science
Interpretation
Compiler
Symbol
Natural deduction
Μ operator
Theoretical computer science
Mathematical logic
PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen)