ENGLISH

Models of Sharing Graphs: A Categorical Semantics of let and letrec

By Masahito Hasegawa PhD (auth.)

Book information

Publisher
Springer-Verlag London
Year
1999
ISBN
978-1-4471-1221-1, 978-1-4471-0865-8
DOI
10.1007/978-1-4471-0865-8
Language
english
Format
PDF
Filesize
6 MB (5856395 bytes)
Series
Distinguished Dissertations
Edition
1
Pages
134\138
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Algorithm Analysis and Problem Complexity; ProgramCompilersInterpreters

Description

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 books