Models of Sharing Graphs
A Categorical Semantics of Let and Letrec
Seiten
1999
Springer London Ltd (Verlag)
978-1-85233-145-0 (ISBN)
Springer London Ltd (Verlag)
978-1-85233-145-0 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
A sound mathematical basis for reasoning about models of computation involving shared resources. An algebraic approach enables the author to describe several aspects of the notion of sharing in a systematic way, most notably an account of recursive computation created from cyclic sharing.
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.
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.
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.
Reihe/Serie | Distinguished Dissertations |
---|---|
Zusatzinfo | bibliography, index |
Verlagsort | England |
Sprache | englisch |
Einbandart | gebunden |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Theorie / Studium ► Algorithmen | |
Informatik ► Theorie / Studium ► Compilerbau | |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Mathematik / Informatik ► Mathematik ► Graphentheorie | |
ISBN-10 | 1-85233-145-3 / 1852331453 |
ISBN-13 | 978-1-85233-145-0 / 9781852331450 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
CHF 41,95
Interlingua zur Gewährleistung semantischer Interoperabilität in der …
Buch | Softcover (2023)
Springer Fachmedien (Verlag)
CHF 46,15
Eine Einführung mit Java
Buch | Hardcover (2020)
dpunkt (Verlag)
CHF 62,85