Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 chapters)
-
Front Matter
-
Functor-Category Semantics
-
Front Matter
-
-
Specification Logic
-
Front Matter
-
-
Procedures and Local Variables
-
Front Matter
-
-
Interference, Irreversibility, and Concurrency
-
Front Matter
-
-
Back Matter
About this book
Editors and Affiliations
-
Dept. of Computer Science, Queen Mary & Westfield College, England
Peter W. O’Hearn
-
Dept. of Computing and Information Science, Queen’s University, Kingston, Canada
Robert D. Tennent
Bibliographic Information
Book Title: Algol-like Languages
Editors: Peter W. O’Hearn, Robert D. Tennent
Series Title: Progress in Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4757-3851-3
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1997
Hardcover ISBN: 978-0-8176-3937-2
Softcover ISBN: 978-1-4757-3853-7
eBook ISBN: 978-1-4757-3851-3
Edition Number: 1
Number of Pages: VII, 349
Topics: Math Applications in Computer Science, Applications of Mathematics, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages