✦ LIBER ✦

Verifying abstract data types with SNOBOL4

✍ Scribed by A. C. Fleck

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the practical need for abstraction re

✍ Sitaraman, M.; Weide, B.W.; Ogden, W.F. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 374 KB

Abstract data types in Fortran 90

✍ Michael Metcalf 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 659 KB

Abstract Data Types Can Have Inequations

✍ Hidetaka Kondoh 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 289 KB

An experience in implementing abstract d

✍ M. Banatre; A. Couvert; D. Herman; M. Raynal 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 352 KB

Two implementation models of abstract da

✍ John D. Gannon; Marvin V. Zelkowitz 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 347 KB

Specification and testing of abstract da

✍ Pankaj Jalote 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 664 KB