𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Literate Program Execution for Teaching Computational Science

✍ Scribed by Li-Thiao-Té, Sébastien

Book ID
123024360
Publisher
Elsevier
Year
2012
Tongue
English
Weight
144 KB
Volume
9
Category
Article
ISSN
1877-0509

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Execution architectures for program alge
Execution architectures for program algebra
✍ Jan A. Bergstra; Alban Ponse 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 287 KB

We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purpose of explanation and provided with a process-algebraic, compositional semantics, and synthetic architectures, focusing