✦ LIBER ✦

A language for specifying program transformations

✍ Scribed by Hildum, D.; Cohen, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Set notation as a language to specify da

✍ Russell J. Abbott 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 803 KB

Language extensions for specifying progr

✍ Billy G. Claybrook; H.Rex Hartson 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 977 KB

Toward a language for specifying summari

✍ Yager, R.R. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 714 KB

Specifying minimal requirements clauses

✍ C Pronk 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 827 KB

Plan in Maude Specifying an Active Netwo

✍ Mark-Oliver Stehr; Carolyn L. Talcott 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 192 KB

A UML-based language for specifying doma

✍ Dae-Kyoo Kim; Robert France; Sudipto Ghosh 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 288 KB