✦ LIBER ✦

Transition Specifications for Dynamic Abstract Data Types

✍ Scribed by Martin Große-Rhode

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synthesizing implementations of abstract

✍ Pankaj Jalote 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 744 KB

An operational semantics for specificati

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

Security types for dynamic web data

✍ Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantović; Daniele Varac 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Methodical specification of abstract dat

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

A practical example of the specification

✍ Frank W. Tompa 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 1011 KB

On the data type extension problem for a

✍ Michio Oyamaguchi 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 500 KB