A Practical Introduction to Denotational Semantics

By: Lloyd Allison, L. Allison

Write A Review

Paperback | 6 April 1987

At a Glance

Paperback
148 Pages

Dimensions(cm)
22.86 x 15.24 x 0.86

Paperback

$59.95

or 4 interest-free payments of $14.99 with

Ships in 5 to 7 business days

This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.

Industry Reviews

"...a well-written and readable textbook..." Mathematical Reviews

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 $0.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 Science Mathematical Theory of Computation Computer Programming & Software Development Software Engineering Programming & Scripting Languages

Preface
Acknowledgements
Glossary
Introduction
Basics
Notation
Lattices
A simple language
Direct semantics
Control
Data structures and data types
A prolog semantics
Miscellaneous
Appendix
References
Index of definitions
Subject index
Table of Contents provided by Publisher. All Rights Reserved.

A Practical Introduction to Denotational Semantics

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Knowledge Graph and Semantic Web Technology based XAI

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

Design Patterns

Elements of Reusable Object-Oriented Software

Code

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

The Essence of Software Engineering

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Coding All-in-One For Dummies

2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Refactoring 2ed

Improving the Design of Existing Code

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Arduino for Dummies

Blackwell Philosophy Anthologies

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Site Reliability Engineering

How Google Runs Production Systems

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Typescript Cookbook

Real World Type-Level Programming

The Psychology of Software Teams

User Story Mapping

Discover the Whote Story, Build the Right Product

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

Architectural Approach to Level Design

Second edition

This product is categorised by