Verwandte Artikel zu Models of Sharing Graphs: A Categorical Semantics of...

Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations) - Softcover

Hasegawa, Masahito

 
9781447112211: Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Softcover
ISBN 10: 1447112210 ISBN 13: 9781447112211
Verlag: Springer, 2011

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1447112210
ISBN 13 
9781447112211
Einband
Taschenbuch
Anzahl der Seiten
152
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland