𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Definition of the semantics of programming language constructs in terms of λ-calculus. I

✍ Scribed by V. N. Domrachev; Yu. V. Kapitonova; L. G. Samoilenko

Publisher
Springer US
Year
1982
Tongue
English
Weight
458 KB
Volume
17
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic semantics of ER-models in the
Algebraic semantics of ER-models in the context of the calculus of relations: I: Static view
✍ Eugenio G. Omodeo; Ernst-Erich Doberkat 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Entity-Relationship modeling is a popular technique for data modeling. Despite its popularity and wide spread use, it lacks a firm semantic foundation. We propose a translation of an ER-model into the formalism provided by the calculus of relations, suggesting that this calculus does provide suitabl