| 000 | 00929camuu2200277 a 4500 | |
| 001 | 000045359205 | |
| 005 | 20070605094746 | |
| 008 | 940615s1994 enk b 001 0 eng | |
| 010 | ▼a 94026403 | |
| 020 | ▼a 0521471036 | |
| 020 | ▼a 9780521471039 | |
| 035 | ▼a (KERIS)BIB000000634705 | |
| 040 | ▼a 211046 ▼c 211046 ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.62 |
| 082 | ▼a 005.711 ▼2 22 | |
| 090 | ▼a 005.711 ▼b G662f | |
| 100 | 1 | ▼a Gordon, Andrew D. |
| 245 | 1 0 | ▼a Functional programming and input/output / ▼c Andrew D. Gordon. |
| 260 | ▼a Cambridge [England] : ▼b Cambridge University Press , ▼c 1994. | |
| 300 | ▼a xv, 155 p. ; ▼c 26 cm. | |
| 440 | 0 | ▼a Distinguished dissertations in computer science |
| 504 | ▼a Includes bibliographical references (p. 137-147) and indexes. | |
| 650 | 0 | ▼a Functional programming (Computer science) |
| 650 | 0 | ▼a Computer input-output equipment |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.711 G662f | 등록번호 121147335 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's 'applicative bisimulation'.
Extends functional programming to solve I/O problems, while retaining usual verification features.
정보제공 :
목차
Preface; 1. Introduction; 2. A calculus of recursive types; 3. A metalanguage for semantics; 4. Operational precongruence; 5. Theory of the metalanguage; 6. An operational theory of functional programming; 7. Four mechanisms for teletype I/O; 8. Monadic I/O; 9. Conclusion; Bibliography; Notation; Index.
정보제공 :