![Theoretical computer science / Software engineering / Computing / Logic in computer science / Formal methods / Compiler construction / Formal verification / ACM Transactions on Programming Languages and Systems / Semantics / Compiler / Programming language / Operational semantics Theoretical computer science / Software engineering / Computing / Logic in computer science / Formal methods / Compiler construction / Formal verification / ACM Transactions on Programming Languages and Systems / Semantics / Compiler / Programming language / Operational semantics](https://www.pdfsearch.io/img/c828ac017d3e311e3ed4e3c2ffc6ce84.jpg) Date: 2010-12-29 13:37:29Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics | | Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading ListSource URL: pauillac.inria.frDownload Document from Source Website File Size: 111,22 KBShare Document on Facebook
|