✦ LIBER ✦

Refinement and retrenchment for programming language data types

✍ Scribed by Bernhard Beckert; Steffen Schlager

Publisher: Springer
Year: 2005
Tongue: English
Weight: 236 KB
Volume: 17
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-005-0073-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hoare's logic for programming languages

Hoare's logic for programming languages with two data types

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 620 KB

Relational level data structures for pro

Relational level data structures for programming languages

✍ Jay Earley 📂 Article 📅 1973 🏛 Springer-Verlag 🌐 English ⚖ 838 KB

Composition and Refinement of Specificat

Composition and Refinement of Specifications of Parameterized Data Types

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

Data refinement, call by value and highe

Data refinement, call by value and higher order programs

✍ David A. Naumann 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 593 KB

Basic language programs for automatic pr

Basic language programs for automatic processing non-isothermal kinetic data

✍ Eugenia Eftimie; E. Segal 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 391 KB

An extendible language for database sche

An extendible language for database schema refinement transformations

✍ Donatella Castelli; Serena Pisani 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB

The paper presents a formal language for specifying database schema transformations. This language consists of a set of primitive operators and a composition operator. Each of the primitive operators has associated the conditions under which it can be applied. A rule is given for generating the appl