Domain-theoretic Foundations Of Functional Programming

Domain-theoretic Foundations Of Functional Programming
Author :
Publisher : World Scientific Publishing Company
Total Pages : 132
Release :
ISBN-10 : 9789813106864
ISBN-13 : 9813106867
Rating : 4/5 (64 Downloads)

Book Synopsis Domain-theoretic Foundations Of Functional Programming by : Thomas Streicher

Download or read book Domain-theoretic Foundations Of Functional Programming written by Thomas Streicher and published by World Scientific Publishing Company. This book was released on 2006-12-04 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail.A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations.A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs.


Domain-theoretic Foundations Of Functional Programming Related Books

Domain-theoretic Foundations Of Functional Programming
Language: en
Pages: 132
Authors: Thomas Streicher
Categories: Computers
Type: BOOK - Published: 2006-12-04 - Publisher: World Scientific Publishing Company

DOWNLOAD EBOOK

This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It int
The Formal Semantics of Programming Languages
Language: en
Pages: 388
Authors: Glynn Winskel
Categories: Computers
Type: BOOK - Published: 1993-02-05 - Publisher: MIT Press

DOWNLOAD EBOOK

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi
An Introduction to Functional Programming Through Lambda Calculus
Language: en
Pages: 338
Authors: Greg Michaelson
Categories: Mathematics
Type: BOOK - Published: 2013-04-10 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a
Logic and Theory of Algorithms
Language: en
Pages: 613
Authors: Arnold Beckmann
Categories: Computers
Type: BOOK - Published: 2008-06-11 - Publisher: Springer

DOWNLOAD EBOOK

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working
Semantics of Programming Languages
Language: en
Pages: 450
Authors: Carl A. Gunter
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: MIT Press

DOWNLOAD EBOOK

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It intro