Models of Sharing Graphs - A Categorical Semantics of let and letrec (Paperback, Softcover reprint of the original 1st ed. 1999)

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.

General

Imprint:	Springer London
Country of origin:	United Kingdom
Series:	Distinguished Dissertations
Release date:	October 2011
First published:	1999
Authors:	Masahito Hasegawa
Dimensions:	235 x 155 x 8mm (L x W x T)
Format:	Paperback
Pages:	134
Edition:	Softcover reprint of the original 1st ed. 1999
ISBN-13:	978-1-4471-1221-1
Categories:	Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer programming > Programming languages > General
LSN:	1-4471-1221-0
Barcode:	9781447112211

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!