| 000 | 00928namuu2200265 a 4500 | |
| 001 | 000045453829 | |
| 005 | 20080717104803 | |
| 008 | 080711r20041996enka b 001 0 eng d | |
| 020 | ▼a 0521602777 | |
| 020 | ▼a 9780521602778 | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 050 | 4 | ▼a QA76.7 ▼b .F563 2004 |
| 082 | 0 4 | ▼a 005.13/1 ▼2 22 |
| 090 | ▼a 005.131 ▼b F518a | |
| 100 | 1 | ▼a Fiore, Marcelo P. |
| 245 | 1 0 | ▼a Axiomatic domain theory in categories of partial maps / ▼c Marcelo P. Fiore. |
| 250 | ▼a 1st pbk. ed. | |
| 260 | ▼a Cambridge ; ▼a New York : ▼b Cambridge University Press , ▼c 2004. | |
| 300 | ▼a xiii, 240 p. : ▼b ill. ; ▼c 25 cm. | |
| 504 | ▼a Includes bibliographical references (p. 226-232) and indexes. | |
| 650 | 0 | ▼a Programming languages (Electronic computers) ▼x Semantics. |
| 650 | 0 | ▼a Functional programming languages. |
| 650 | 0 | ▼a Axiomatic set theory. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.131 F518a | 등록번호 121173245 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
First systematic account of axiomatic categorical domain theory and functional programming.
정보제공 :
목차
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.
정보제공 :