Models of Sharing Graphs

Name: Models of Sharing Graphs
Brand: Springer London Ltd
SKU: 9781447112211
Price: 52.63 EUR
Availability: InStock

A Categorical Semantics of let and letrec

Автор: Masahito Hasegawa

Език:

Корици: С меки корици

Издател: Springer London Ltd

Наличност: Външен склад

Изпращаме след 5-8 дни

52.63 € 102.94 лв

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

Информация за книгата

Автор

Masahito Hasegawa

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

134

EAN

9781447112211

ISBN

1447112210

Enbook ID

06794645

Издател

Springer London Ltd

Теглоt

242

Размери

155 x 235 x 9

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Models of Sharing Graphs

A Categorical Semantics of let and letrec

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също