Distinguished Dissertations in Computer ScienceSeries Number 14- Axiomatic Domain Theory in Categories of Partial Maps Series Number 14: Axiomatic Domain Theory in Categories of Partial Maps

Name: Distinguished Dissertations in Computer ScienceSeries Number 14- Axiomatic Domain Theory in Categories of Partial Maps
Author: Marcelo P. Fiore

Auteur: Marcelo P. Fiore

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: Marcelo P. Fiore

Engels
Paperback
9780521602778
25 maart 2004
256 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 25 maart 2004
Aantal pagina's: 256
Illustraties: Nee

Betrokkenen

Hoofdauteur: Marcelo P. Fiore
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Editie: New edition
Extra groot lettertype: Nee
Product breedte: 190 mm
Product hoogte: 13 mm
Product lengte: 246 mm
Studieboek: Ja
Verpakking breedte: 190 mm
Verpakking hoogte: 13 mm
Verpakking lengte: 246 mm
Verpakkingsgewicht: 460 g

EAN

EAN: 9780521602778

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Wiskunde

Topologie

Analytische topologie

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Engels
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.