Artículos relacionados a Models of Sharing Graphs: A Categorical Semantics of...

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

Hasegawa, Masahito

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.