Models of Sharing Graphs

Name: Models of Sharing Graphs
Brand: Springer London Ltd
SKU: 9781447112211
Price: 1147 CZK
Availability: InStock

A Categorical Semantics of let and letrec

Autor: Masahito Hasegawa

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer London Ltd

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computati...

Informace o knize

Autor

Masahito Hasegawa

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2011

Stránek

134

EAN

9781447112211

ISBN

1447112210

Enbook ID

06794645

Vydavatel

Springer London Ltd

Hmotnost

242

Rozměry

155 x 235 x 9

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Models of Sharing Graphs

A Categorical Semantics of let and letrec

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také