✦ LIBER ✦

Relational level data structures for programming languages

✍ Scribed by Jay Earley

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Description of data structures in progra

✍ S. V. Mshagskii 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 162 KB

Aspects of the theory of relational lang

✍ L. V. Vernik; I. M. Vinitskii 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 509 KB

Two language levels for system programmi

✍ M Ancona; A Clematis; V Gianuzzi 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 490 KB

Hoare's logic for programming languages

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 620 KB

A new language for structured programmin

✍ I. Gvoretskii 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 748 KB

Refinement and retrenchment for programm

✍ Bernhard Beckert; Steffen Schlager 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 236 KB