A Practical Introduction to Denotational Semantics Image close
A Practical Introduction to Denotational Semantics by L. Allison
A Practical Introduction to Denotational Semantics by L. Allison
Show Hide Adult Content
A Practical Introduction to Denotational Semantics close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

A Practical Introduction to Denotational Semantics

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$125.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $31.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Cambridge Computer Science Texts

See all products in this series

Categories and Computer Science by R.F.C. Walters
$130.99
Categories and Computer Science
by R.F.C. Walters ~ Paperback / softback
Available - Usually ships in 3-4 weeks
An Introduction to Computational Combinatorics by E.S. Page
$104.99
An Introduction to Computational Combinatorics
by E.S. Page ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Categories and Computer Science on Hardback by R.F.C. Walters
$238.99
Categories and Computer Science
by R.F.C. Walters ~ Hardback
Available - Usually ships in 3-4 weeks
Computer Mathematics by H.E. Bez
$108.99
Computer Mathematics
by H.E. Bez ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Simulation of Continuous Systems by R. J. Ord-Smith
$94.99
Computer Simulation of Continuous Systems
by R. J. Ord-Smith ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Recursion via Pascal by Rohl
$152.99
Recursion via Pascal
by Rohl ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Principles of Computer Networking by D. Russell
$210.99
The Principles of Computer Networking
by D. Russell ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling of Computer and Communication Systems by I. Mitrani
$85.99
Modelling of Computer and Communication Systems
by I. Mitrani ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Functional Programming Systems Using Haskell by Antony J. T. Davie
$153.99
Introduction to Functional Programming Systems Using Haskell
by Antony J. T. Davie ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Simulation Techniques for Discrete Event Systems by I. Mitrani
$91.99
Simulation Techniques for Discrete Event Systems
by I. Mitrani ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Concurrent Programming by C.R. Snow
$136.99
Concurrent Programming
by C.R. Snow ~ Paperback / softback
Available - Usually ships in 3-4 weeks
C by Example by Noel Kalicharan
$195.99
C by Example
by Noel Kalicharan ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Program Construction by R.G. Stone
$154.99
Program Construction
by R.G. Stone ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
January 30th, 1987
Author
Audiences
  • Professional & Vocational
  • Tertiary Education (US: College)
Illustrations
Worked examples or Exercises
Pages
148
Dimensions
152x228x12
ISBN-13
9780521314237
Product ID
2356889

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by L. Allison

See all books by this author

The EU, ASEAN and Interregionalism by L. Allison Save $71
$136.99
$208.95
The EU, ASEAN and Interregionalism
by L. Allison ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The EU, ASEAN and Interregionalism on Hardback by L. Allison Save $55
$136.99
$192.95
The EU, ASEAN and Interregionalism
by L. Allison ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation