Skip to content
Hardcover Practical Foundations for Programming Languages Book

ISBN: 1107150302

ISBN13: 9781107150300

Practical Foundations for Programming Languages

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features...

Selected

Format: Hardcover

Condition: New

$72.91
Save $6.08!
List Price $78.99

50 Available

Customer Reviews

0 rating
Copyright © 2022 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell or Share My Personal Information | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured