✦ LIBER ✦

Prototyping realistic programming languages based on formal specifications

✍ Scribed by Arnd Poetzsch-Heffter

Publisher: Springer-Verlag
Year: 1997
Tongue: English
Weight: 220 KB
Volume: 34
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s002360050105

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Program testing technology based on spec

Program testing technology based on specification language

✍ A. A. Sarkisyan; Yu. G. Shukuryan 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 581 KB

On the index of positive programmed form

On the index of positive programmed formal languages

✍ Guozhu Dong 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 435 KB

Automatic Grid workflow based on imperat

Automatic Grid workflow based on imperative programming languages

✍ Raül Sirvent; Josep M. Pérez; Rosa M. Badia; Jesús Labarta 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 294 KB

Round-Trip Prototyping Based on Integrat

Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications

✍ Andreas Homrighausen; Hans-Werner Six; Mario Winter 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 472 KB

Research on Domain-specific Embedded Lan

Research on Domain-specific Embedded Languages and Program Generators

✍ Samuel N. Kamin 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 988 KB

Embedding is the process of implementing a language by de ning functions in an existing \host" language the host language with these added functions is the new language. As a consequence, the new language comes equipped with all the features of the host language, with no additional work on the part

Predictive software metrics based on a f

Predictive software metrics based on a formal specification

✍ WB Samson; DG Nevill; PI Dugard 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 472 KB