✦ LIBER ✦

Compiler Optimization Correctness by Temporal Logic

✍ Scribed by David Lacey; Neil D. Jones; Eric Van Wyk; Carl Christian Frederiksen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving Compiler Correctness in a Mechan

✍ Akinori Yonezawa; Roger Hale 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 105 KB

Correctness of Classical Compiler Optimi

✍ Carl Christian Frederiksen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 342 KB

Temporal Logic.by Nicholas Rescher

✍ Review by: Robert A. Bull 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 104 KB

Towards Acceptability of Optimizations:

✍ Wolfgang Goerigk 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 188 KB

Hierarchical protocol analysis by tempor

✍ Yulin Feng 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 602 KB

Aspecto-Temporal Meanings Analysed by Co

✍ Desclés, Jean-Pierre; Pascu, Anca Christine; Ro, Hee-Jin 📂 Article 📅 2014 🏛 Springer Netherlands 🌐 English ⚖ 1002 KB