Functional programming and input/output

著者

• Gordon, Andrew D.

書誌事項

Functional programming and input/output

Andrew D. Gordon

（Distinguished dissertations in computer science）

Cambridge University Press, 1994

タイトル別名

Functional programming and input output

注記

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」 より

• NII書誌ID(NCID): BA23765645
• ISBN:
  • 0521471036
• LCCN: 94026403
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, [England] ; New York, NY, USA
• ページ数/冊数: xv, 155 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA76.62
  • DC20 : 005.7/11
• 件名:
  • LCSH : Functional programming (Computer science)
  • LCSH : Computer input-output equipment
• 親書誌ID:
  • BA13438471