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

Hasegawa, Masahito

Rilegato

ISBN 10: 1852331453 ISBN 13: 9781852331450

Casa editrice: Springer Verlag, 1999

Riassunto

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.

Su questo libro

Contenuti

Introduction.- Sharing Graphs and Equational Presentation.- Models of Acyclic Sharing Theroy.- Higher Order Extension.- Relating Models.- Models of Cyclic Sharing Theory.- Recursion from Cyclic Sharing.- Action Calculi.- Conclusion.- Proofs.- Bibliography.- Index.

Product Description

Book by Hasegawa Masahito

Dettagli dell'edizione

• Editore: Springer Verlag
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 1852331453
• ISBN 13: 9781852331450
• Rilegatura: Copertina rigida
• Numero di pagine: 134
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile