Theories of Programming Languages

By: No Information Available

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 $79.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 Mathematical Theory of Computation

Quantum Control of Hybrid Spin-Oscillator Systems

Springer Theses

Algorithms in C, Parts 1-4

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

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

AI Engineering

Building Applications with Foundation Models

Effective Machine Learning Teams

Best Practices for ML Practitioners

Theory of Computation for Software Developers

Theory of Computation for Software Developers

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Nonlinear Analysis for Human Movement Variability

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Applied Mathematics with F#

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Beading With Algorithms

Cellular Automata In Peyote Stitch

Beading With Algorithms

Cellular Automata In Peyote Stitch

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

This product is categorised by