✦ LIBER ✦

A practical example of the specification of abstract data types

✍ Scribed by Frank W. Tompa

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Methodical specification of abstract dat

✍ P. A. S. Veloso 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 785 KB

ChemInform Abstract: A Specific Example

✍ V. V. Mezheritskii; O. M. Golyanskaya 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 28 KB 👁 2 views

Generation of ADA and PL/1 prototypes fr

✍ Boumediene Belkhouche 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 998 KB

An operational semantics for specificati

✍ G. Engels; U. Pletat; H. -D. Ehrich 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 947 KB

Specification of the structure of data i

✍ A. P. Lodysev 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 387 KB

Axiomatic data type specifications: A fi

✍ Daniel J. Moore; Bruce Russell 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 817 KB