Domains and Lambda-Calculi

by Roberto M. Amadio and Pierre-Louis Curien

Book Overview

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an...

• Format: Paperback
• Language: English
• ISBN: 0521062926
• ISBN13: 9780521062923
• Release Date: May 2008
• Publisher: Cambridge University Press
• Length: 504 Pages
• Weight: 1.61 lbs.
• Dimensions: 1.1" x 6.0" x 9.0"