Models of Sharing Graphs

Name: Models of Sharing Graphs
Brand: Springer London Ltd
SKU: 9781447112211
Price: 214.72 PLN
Availability: InStock

A Categorical Semantics of let and letrec

Autor: Masahito Hasegawa

Język:

Oprawa: Miękka

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

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

Informacje o książce

Autor

Masahito Hasegawa

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2011

strony

134

EAN

9781447112211

ISBN

1447112210

Enbook ID

06794645

Wydawca

Springer London Ltd

Waga

242

Wymiary

155 x 235 x 9

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Models of Sharing Graphs

A Categorical Semantics of let and letrec

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również