Models of Sharing Graphs

Name: Models of Sharing Graphs
Brand: Springer London Ltd
SKU: 9781447112211
Price: 19223 HUF
Availability: InStock

A Categorical Semantics of let and letrec

Szerző: Masahito Hasegawa

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer London Ltd

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 223 Ft

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

Információk a könyvről

Szerző

Masahito Hasegawa

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2011

oldal

134

EAN

9781447112211

ISBN

1447112210

Enbook ID

06794645

Kiadó

Springer London Ltd

Súly

242

Méretek

155 x 235 x 9

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Models of Sharing Graphs

A Categorical Semantics of let and letrec

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták