✦ LIBER ✦

Specification, Verification and Prototyping of an Optimized Compiler

✍ Scribed by Jifeng, He; Bowen, Jonathan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Approach to the Specification and Ver

✍ Jonathan P. Bowen; He Jifeng 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 118 KB

Modular specification and verification o

✍ Peter Herrmann; Heiko Krumm 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 714 KB

Specification and Verification of Switch

✍ Kajiwara, M.; Ichikawa, H.; Itoh, M.; Yoshida, Y. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 715 KB

Specification and verification of GPGPU

✍ Blom, Stefan; Huisman, Marieke; Mihelčić, Matej 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 612 KB

An integrated methodology for the specif

✍ Mike Holcombe 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB