✦ LIBER ✦

Use of a formal notation for static semantics in compiler design

✍ Scribed by M. H. Williams; A. R. Bulmer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A common system of notation for use in b

📂 Article 📅 1982 🏛 IWA Publishing 🌐 English ⚖ 124 KB

Toward a wider use of formal methods for

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB

The contrasting effects of a semantic ve

✍ Le Dor Ze, Guylaine; Boulay, Nicole; Gaudreau, Joanne; Brassard, Christine 📂 Article 📅 1994 🏛 Taylor and Francis Group 🌐 English ⚖ 967 KB

A compilation of microdosimetry for unif

✍ Chen, Jing 📂 Article 📅 2008 🏛 Informa plc 🌐 English ⚖ 744 KB

Anti-Static Treatment of 'Perspex' for U

✍ A. R. Blythe 📂 Article 📅 1974 🏛 Earthscan 🌐 English ⚖ 316 KB

Static Design Recommendations for Slotte

✍ Martinez-Saucedo, Gilberto; Packer, Jeffrey A. 📂 Article 📅 2009 🏛 American Society of Civil Engineers 🌐 English ⚖ 929 KB