✦ LIBER ✦

The algebraic data type specification language

✍ Scribed by Luc Duponcheel; Jurgen Heyman; Willy Van Puymbroeck; Johan Lewi; Ivo Van Horebeek

Book ID: 107909122
Publisher: Elsevier Science
Year: 1987
Weight: 651 KB
Volume: 21
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(87)90043-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Standard model semantics for DSL a data

Standard model semantics for DSL a data type specification language

✍ J. A. Bergstra; J. Terlouw 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

On the data type extension problem for a

On the data type extension problem for algebraic specifications

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

The completeness of the algebraic specif

The completeness of the algebraic specification methods for computable data types

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 715 KB

Specification languages in algebraic com

Specification languages in algebraic compilers

✍ Eric Van Wyk 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 353 KB

Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for constructing its target language image; these associated computations, called derived operations, are expressed in terms of operat

An algebraic approach to data languages

An algebraic approach to data languages and timed languages

✍ Patricia Bouyer; Antoine Petit; Denis Thérien 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 278 KB

The specification language TimeML

✍ Pustejovsky J. 📂 Library 🌐 English ⚖ 191 KB