Noch Fragen? 0800 / 33 82 637

Models of Sharing Graphs

A Categorical Semantics of let and letrec

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-1-4471-0865-8 / 978-1447108658 / 9781447108658

Verlag: Springer London

Erscheinungsdatum: 06.12.2012

Seiten: 134

Autor(en): Masahito Hasegawa

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück