𝔖 Bobbio Scriptorium
✦   LIBER   ✦

TrapML — A metalanguage for transformational programming

✍ Scribed by Lingzi Jin

Book ID
112948302
Publisher
Springer
Year
1990
Tongue
English
Weight
662 KB
Volume
5
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1837 || A Metalanguage for Programming with Bound Names Modulo Renaming
✍ Backhouse, Roland; Oliveira, José Nuno 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 334 KB

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 1837 || A Metalanguage for Programming with Bound Names Modulo Renaming
✍ Backhouse, Roland; Oliveira, José Nuno 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 334 KB

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p