Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.
Similar content being viewed by others
Keywords
Table of contents (9 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Models of Sharing Graphs
Book Subtitle: A Categorical Semantics of let and letrec
Authors: Masahito Hasegawa
Series Title: Distinguished Dissertations
DOI: https://doi.org/10.1007/978-1-4471-0865-8
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1999
Softcover ISBN: 978-1-4471-1221-1Published: 08 October 2011
eBook ISBN: 978-1-4471-0865-8Published: 06 December 2012
Edition Number: 1
Number of Pages: XII, 134
Topics: Algorithm Analysis and Problem Complexity, Programming Languages, Compilers, Interpreters