Mohlo by se vám také líbit

Více informací o knize Models of Sharing Graphs

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Algorithms & data structures

• Plný název: Models of Sharing Graphs
• Podnázev: A Categorical Semantics of let and letrec
• Autor: Masahito Hasegawa
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 134
• EAN: 9781447112211
• ISBN: 1447112210
• ID: 06794645
• Nakladatelství: Springer London Ltd
• Hmotnost: 242 g
• Rozměry: 235 × 155 × 9 mm
• Datum vydání: 08. October 2011

Oblíbené z jiného soudku

---

---

---