✦ LIBER ✦

First-Order Specifications of Programmable Data Types

✍ Scribed by Mirkowska, Grazyna; Salwicki, Andrzej; Srebrny, Marian; Tarlecki, Andrzej

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatic data type specifications: A fi

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

Composition and Refinement of Specificat

✍ Yngve Lamo; Michal Walicki 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 253 KB

Synthesizing implementations of abstract

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

A second order theory of data types

✍ Zhang Ming-Hua 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 994 KB

An operational semantics for specificati

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

Comparison of eliminating first order sa

✍ Young-Seung Lee; Jean-François Meullenet 📂 Article 📅 2010 🏛 The Korean Society of Food Science and Technology 🌐 English ⚖ 425 KB