Domains and Lambda-Calculi
(Part of the Cambridge Tracts in Theoretical Computer Science Series)
No Customer Reviews
Select Format
Select Condition 
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"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
