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

Transformational semantics for concurrent programs

โœ Scribed by M. Broy

Book ID
113162173
Publisher
Elsevier Science
Year
1980
Tongue
English
Weight
629 KB
Volume
11
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Demand transformation analysis for concu
Demand transformation analysis for concurrent constraint programs
โœ Moreno Falaschi; Patrick Hicks; William Winsborough ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 309 KB

This paper presents a demand transformation analysis that maps a predicate's output demands to its input demands. This backward dataยฏow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation. In the context of stream parallelism, this analysis identiยฎe

Temporal Semantics for Concurrent METATE
Temporal Semantics for Concurrent METATEM
โœ MICHAEL FISHER ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 618 KB

Concurrent MetateM is a programming language based on the notion of concurrent, communicating objects, where each object directly executes a specification given in temporal logic, and communicates with other objects using asynchronous broadcast messagepassing. Thus, Concurrent MetateM represents a c