Articles liés à Models of Sharing Graphs: A Categorical Semantics of...

Models of Sharing Graphs: A Categorical Semantics of Let and Letrec - Couverture rigide

Hasegawa, Masahito

 
9781852331450: Models of Sharing Graphs: A Categorical Semantics of Let and Letrec
Couverture rigide
ISBN 10 : 1852331453 ISBN 13 : 9781852331450
Editeur : Springer London Ltd, 1999

Synopsis

This work 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, an account of recursive computation created from cyclic sharing is developed using this framework.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer London Ltd
Date d'édition
1999
Langue
anglais
ISBN 10 
1852331453
ISBN 13 
9781852331450
Reliure
Relié
Nombre de pages
134
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne