Taylor's Library

Normal view MARC view ISBD view

Control flow semantics / Jaco de Bakker and Erik de Vink.

By: Bakker, J. W. de (Jacobus Willem), 1939-.
Contributor(s): Vink, Erik de [(j.a.)].
Series: Foundations of computing series. Publisher: Cambridge, Mass. : MIT Press, c1996Description: xvii, 564 p. ; 24 cm.ISBN: 0262041545.Subject(s): Programming languages (Electronic computers) -- SemanticsDDC classification: 005.131
Contents:
Series Foreword. - Preface. - The 27 Languages. - Introduction. - 1. Fundamentals. 1. Recursion and Iteration. 2. Nondeterminacy. 3. Variations. - II Linear Models. 4. Uniform Parallelism. 5. Unbounded Nondeterminism. 6. Locality. 7. Nonuniform Parallelism. 8. Recursion Revisited. 9. Nested Resumptions. - III. Models Based on Domain Equations. 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. - IV Perspectives. 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. - D. Further Reading. - Bibliography. - Author Index. - Subject Index.
Summary: "This book presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages. Whereas in more traditional approaches one fouses on input/output, in this work equal attention is devoted to finite and infinite computations, the latter motivated by the growing importance of reactive systems. Knowledge of the comparative semantics of control structures is critical for the designers of programming languages, and it is difficult to choose from today's bewildering variety of control flow concepts (the ways in which a program specifies the seccessive steps to be take during execution). Encyclopedic in scope, Control Flow Semantics provides comprehensive coverage of these concepts, developing operational and denotational models for control flow in 27 languages. In all cases precise statements are given relating these models." - Back cover.
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Main Collection TU External Storage-LCS
005.131 BAK (Browse shelf) 1 Available SOCIT, SOCIT, 560575 1000104471 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

Series Foreword. - Preface. - The 27 Languages. - Introduction. - 1. Fundamentals. 1. Recursion and Iteration. 2. Nondeterminacy. 3. Variations. - II Linear Models. 4. Uniform Parallelism. 5. Unbounded Nondeterminism. 6. Locality. 7. Nonuniform Parallelism. 8. Recursion Revisited. 9. Nested Resumptions. - III. Models Based on Domain Equations. 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. - IV Perspectives. 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. - D. Further Reading. - Bibliography. - Author Index. - Subject Index.

"This book presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages. Whereas in more traditional approaches one fouses on input/output, in this work equal attention is devoted to finite and infinite computations, the latter motivated by the growing importance of reactive systems. Knowledge of the comparative semantics of control structures is critical for the designers of programming languages, and it is difficult to choose from today's bewildering variety of control flow concepts (the ways in which a program specifies the seccessive steps to be take during execution). Encyclopedic in scope, Control Flow Semantics provides comprehensive coverage of these concepts, developing operational and denotational models for control flow in 27 languages. In all cases precise statements are given relating these models." - Back cover.