Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series

About the Author:

John C. Mitchell is Associate Professor, Department of Computer Science, Stanford University.

"About this title" may belong to another edition of this title.

Store Description

Hawking Books is dedicated to providing each customer with the highest standard of customer service.

Visit Seller's Storefront

Seller's business information

Murrmoz LLC
PO Box 839, Edgewood, TX, 75117, U.S.A.

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about
a book that you've ordered, please use the Ask bookseller a question link to
contact us and we'll respond within 2 business days.

Shipping Terms:

We package all our items in secure new packaging and we always ship within 48 hours.

Payment Methods
accepted by seller

Add to Wants

Items related to Foundations for Programming Languages (Foundations...

Foundations for Programming Languages (Foundations of Computing)

Mitchell, John C.

Used - Hardcover

Seller's business information