Functional programming and input/output
著者
書誌事項
Functional programming and input/output
（Distinguished dissertations in computer science）
Cambridge University Press, 1994
- タイトル別名
-
Functional programming and input output
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 137-152) and index
内容説明・目次
内容説明
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'.
目次
- 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.
「Nielsen BookData」 より