Theories of Programming Languages

By: John C. Reynolds, Reynolds John C.

Write A Review

Paperback | 2 April 2009

At a Glance

Paperback
516 Pages

Dimensions(cm)
24.41 x 16.99 x 2.64

Paperback

RRP $123.95

$113.75

or 4 interest-free payments of $28.44 with

Ships in 5 to 7 business days

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.

Industry Reviews

"I found the whole book a distinct pleasure to read and certainly recommend this text for consideration by instructors." Mathematical Reviews
"clearly structured...the presentation is clear, and the typesetting often helps the reader to understand the structure of the formulas. Each chapter contains valuable exercises and profound bibliographic notes that can serve as a starting point for further reading. I shall use this excellent textbook in my lectures." Computing Reviews
"...an important book...It is thorough and well organized, and the explanations are very clear. I found the technical content to be in almost every respect flawless. Although written to be a student text, I believe that most researchers (and many practitioners) in programming lanauges (and related fields) would find it worth reading." Journal of Functional Programming

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Mathematical Theory of Computation Software Engineering

Other Editions and Formats

Hardcover

Published: 8th February 1999

View Product

Preface
Predicate Logic
The Simple Imperative Language
Programme Specifications and their Proofs
Arrays
Failure, Input-Output and Continuations
Transition Semantics
Nondeterminism and Guarded Commands
Shared-variable Concurrency
Communicating Sequential Processes
The Lambda Calculus
An Eager Functional Language
Continuations in a Functional Language
Iswim-like Languages
A Normal-order Language
The Simple Type System
Subtypes and Intersection Types
Polymorphism
Module Specification
Algol-like Languages
Appendices
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Theories of Programming Languages

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Hardcover

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Introduction to Programming Languages

Learning Go

An Idiomatic Approach to Real-World Go Programming

The C Programming Language

Prentice Hall Software

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

Fundamentals of Python

3rd Edition - First Programs

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Coding All-in-One For Dummies

2nd Edition

C# 10.0 All-in-One For Dummies

For Dummies (Computer/Tech)

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Effective Typescript

83 Specific Ways to Improve Your Typescript

Flask Web Development, 2nd Edition

Developing Web Applications with Python

C++ Programming Language, The

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Python Automation For Dummies

For Dummies (Computer/Tech)

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Python Cookbook

Recipes for Mastering Python : 3rd Edition

This product is categorised by