![[Louise Penny: Bei Sonnenaufgang]](https://media2.ebook.de/shop/coverscans/398/39892019_9783311702146_middle.jpg "Louise Penny: Bei Sonnenaufgang")
![[Julie Clark: Der Tausch - Zwei Frauen. Zwei Tickets. Und nur ein Ausweg.]](https://media2.ebook.de/shop/coverscans/388/38859079_9783453424975_middle.jpg "Julie Clark: Der Tausch - Zwei Frauen. Zwei Tickets. Und nur ein Ausweg.")
![[Gaby Hauptmann: Unsere allerbeste Zeit]](https://media2.ebook.de/shop/coverscans/401/40115818_9783844927146_middle.jpg "Gaby Hauptmann: Unsere allerbeste Zeit")
![[Romy Fölck: Sterbekammer]](https://media2.ebook.de/shop/coverscans/368/36801981_9783732577767_middle.jpg "Romy Fölck: Sterbekammer")
Axiomatic Domain Theory in Categories of Partial Maps
von
Marcelo P. Fiore
Lieferbar innerhalb von drei Wochen
Taschenbuch
Taschenbuch
€ 56,99*
inkl. MwSt.
Portofrei*
Produktdetails
Titel: Axiomatic Domain Theory in Categories of Partial Maps
Autor/en: Marcelo P. Fiore
ISBN: 0521602777
EAN: 9780521602778
Autor/en: Marcelo P. Fiore
ISBN: 0521602777
EAN: 9780521602778
Paperback.
Sprache: Englisch.
Sprache: Englisch.
Cambridge University Press
2. Februar 2004 - kartoniert - 256 Seiten
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory.
1. Introduction; 2. Categorical preliminaries; 3. Partiality; 4. Order-enriched categories of partial maps; 5. Data types; 6. Recursive types; 7. Recursive types in Cpo-categories; 8. FPC; 9. Computational soundness and adequacy; 10. Summary and future research; Appendices; References; Indices.
' ... the author succeeds in the difficult task of finding the right level of abstraction. Moreover, the exposition is very precise and technically outstanding.' Daniele Turi, Science of Computer Programming (1998)
Kundenbewertungen zu
Marcelo P. Fiore
„Axiomatic Domain Theory in Categories of Partial Maps“
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Diese Artikel könnten Sie auch interessieren
Zuletzt angesehene Artikel
Entdecken Sie mehr
