๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Investigating executability of programs

โœ Scribed by Laslo Gyurish

Publisher
Springer US
Year
1973
Tongue
English
Weight
123 KB
Volume
6
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Reproducible execution of SR programs
Reproducible execution of SR programs
โœ Olsson, Ronald A. ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 169 KB

Reproducing the execution of a concurrent program is important in debugging and testing. It requires that, regardless of the actual order in which processes may execute, the reproduced execution is identical, with respect to the order in which certain activities occur, to a previously recorded execu

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