Theories of Programming Languages

By: John C. Reynolds

Write A Review

Paperback | 2 April 2009

At a Glance

Paperback
516 Pages

Dimensions(cm)
24.5 x 17.2 x 3.0

Paperback

Limited Stock Available

RRP $115.95

$84.75

27%OFF

or 4 interest-free payments of $21.19 with

In Stock and Aims to ship in 1-2 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

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

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Python All-in-One For Dummies

3rd Edition

The C Programming Language

Prentice Hall Software

Effective Modern C++

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Effective Typescript

83 Specific Ways to Improve Your Typescript

Python for Excel

A Modern Environment for Automation and Data Analysis

Head First Java, 3rd Edition

A Brain-Friendly Guide

Python for Data Analysis 3e

Data Wrangling with pandas, NumPy, and Jupyter

Learning Python

Powerful Object-Oriented Programming

Python for Algorithmic Trading

From Idea to Cloud Deployment

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Learning Go

An Idiomatic Approach to Real-World Go Programming

Web Scraping with Python

3rd Edition - Data Extraction from the Modern Web

Fluent C

Principles, Practices, and Patterns

C++ How to Program, Global Edition

11th Edition

Intro to Python for Computer Science and Data Science

Learning to Program with AI, Big Data and The Cloud, Global Edition

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Modern PHP

New Features and Good Practices

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

This product is categorised by