Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (11 chapters)
-
Functor-Category Semantics
-
Specification Logic
-
Procedures and Local Variables
-
Interference, Irreversibility, and Concurrency
Editors and Affiliations
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-2Published: 01 December 1996
Softcover ISBN: 978-1-4757-3853-7Published: 03 March 2013
eBook ISBN: 978-1-4757-3851-3Published: 14 March 2013
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