✦ LIBER ✦

Operational ontological approach to formal programming language specification

✍ Scribed by I. S. Anureev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Prototyping realistic programming langua

✍ Arnd Poetzsch-Heffter 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 220 KB

An Approach to Formal Specification of C

✍ Leung, W.H.; Ramamoorthy, C.V. 📂 Article 📅 1980 🏛 IEEE 🌐 English ⚖ 1024 KB

VESAR: a pragmatic approach to formal sp

✍ B. Algayres; V. Coelho; L. Doldi; H. Garavel; Y. Lejeune; C. Rodríguez 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 765 KB

Application of a formal specification la

✍ D.E. Abel; B.S. Niven 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 380 KB

A translation approach to portable ontol

✍ Thomas R. Gruber 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 831 KB

A structured approach to assembly langua

✍ MacKenzie, S. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 628 KB