✦ LIBER ✦

Formal formatting rules for Pascal programs

✍ Scribed by Pierre L'Ecuyer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A semantically-based formatting discipli

✍ Paul A. Bailes; Antonio Salvadori 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 594 KB

Two Simple Rules for Properly Formatting

✍ Mark B. Mycyk 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 47 KB

Validating Halstead's theory for Pascal

✍ Felician, L.; Zalateu, G. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 257 KB

Formal Methods for MPI Programs

✍ Ganesh Gopalakrishnan; Robert M. Kirby 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 218 KB

An interactive programming system for Pa

✍ Jerker Wilander 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 732 KB

Unfolding rules for GHC programs

✍ Koichi Furukawa; Akira Okumura; Masaki Murakami 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 562 KB