✦ LIBER ✦

An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language

✍ Scribed by A. V. Zamulin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic Semantics of an Imperative Pro

✍ A. V. Zamulin 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 89 KB

The Semantics of Predicate Logic as a Pr

✍ Van Emden, M. H.; Kowalski, R. A. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 638 KB

Optimizing compiler for the procedural s

✍ T. A. Val'kevich; Yu. V. Kapitonova; A. A. Letichevskii 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 774 KB

Implementation of an optimizing compiler

✍ T. A. Val'kevich; Yu. V. Kapitonova; A. A. Letichevskii; N. M. Mishchenko 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 733 KB

The recursion-theoretic complexity of th

✍ Howard A. Blair 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 837 KB

Determining the ROI of an online English

✍ Edward P. Nathan 📂 Article 📅 2009 🏛 John Wiley and Sons ⚖ 107 KB