Control flow semantics

by Bakker, J. W. de, (Jacobus Willem)

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Control flow semantics / Jaco de Bakker and Erik de Vink.

Edition Statements

Publication Date:©1996.

Publication Statements

Publisher(s):MIT Press
Place of Publication:Cambridge, Mass
Language:eng
Publication Date:©1996.

The Physical Object

Description:xvii, 564 pages : : illustrations ; : 24 cm.

Edition Identifiers

ISBN:0262041545, 9780262041546
oclc:ocm33439651
LC Classification:QA76.7
Dewey Decimal:005.13/1

The 27 Languages -- 1. Recursion and Iteration -- 2. Nondeterminacy -- 3. Variations -- 4. Uniform Parallelism -- 5. Unbounded Nondeterminism -- 6. Locality -- 7. Nonuniform Parallelism -- 8. Recursion Revisited -- 9. Nested Resumptions -- 10. Domain Equations and Bisimulation -- 11. Branching Domains at Work -- 12. Extensions of Nonuniform Parallelism -- 13. Concurrent Object-oriented Programming -- 14. Atomization, Commit, and Action Refinement -- 15. The Control Flow Kernel of Logic Programming -- 16. True Concurrency -- 17. Full Abstractness -- 18. Second-order Assignment -- A Proofs of Topological Theorems -- B Direct Operational Semantics -- C Domain Equations

Subjects

54.53 programming languages Kontrollfluss Langages de programmation -- Sémantique Logic programming Logica E Semantica De Programacao programmeertalen Programmiersprache Programming languages (Electronic compu… Semantiek Semantik