Comparative Metric Semantics of Programming Languages Image close
Comparative Metric Semantics of Programming Languages on Hardback by Franck van Breughel
Comparative Metric Semantics of Programming Languages on Hardback by Franck van Breughel
Show Hide Adult Content
Comparative Metric Semantics of Programming Languages close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Programming languages

Comparative Metric Semantics of Programming Languages

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

By:

Format:

Hardback
$289.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $72.25 with Afterpay Learn more

6 weekly interest-free payments of $48.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 21 Jun - 3 Jul using International Courier

Explore more Progress in Theoretical Computer Science

See all products in this series

The Combinatory Programme on Hardback by Erwin Engeler
$287.00
The Combinatory Programme
by Erwin Engeler ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms for Random Generation and Counting: A Markov Chain Approach on Hardback by A Sinclair
$287.00
Algorithms for Random Generation and Counting: A Markov Chain Approach
by A Sinclair ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms for Random Generation and Counting: A Markov Chain Approach by A Sinclair
$287.00
Algorithms for Random Generation and Counting: A Markov Chain Approach
by A Sinclair ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics of Type Theory by T. Streicher
$263.00
Semantics of Type Theory
by T. Streicher ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Networks and Analog Computation by Hava T. Siegelmann
$438.00
Neural Networks and Analog Computation
by Hava T. Siegelmann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Interpolating Cubic Splines on Hardback by Gary D. Knott
$264.00
Interpolating Cubic Splines
by Gary D. Knott ~ Hardback
Available - Usually ships in 3-4 weeks
The Graph Isomorphism Problem by J. Kobler
$288.00
The Graph Isomorphism Problem
by J. Kobler ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Categorical Combinators, Sequential Algorithms, and Functional Programming on Hardback by P-.L. Curien
$314.00
Categorical Combinators, Sequential Algorithms, and Functional...
by P-.L. Curien ~ Hardback
Available - Usually ships in 3-4 weeks
Logic of Domains on Hardback by G Zhang
$290.00
Logic of Domains
by G Zhang ~ Hardback
Available - Usually ships in 3-4 weeks
Algol-like Languages by Peter O'Hearn
$288.00
Algol-like Languages
by Peter O'Hearn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Subrecursive Programming Systems by James S. Royer
$287.00
Subrecursive Programming Systems
by James S. Royer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algol-like Languages by Peter O'Hearn
$290.00
Algol-like Languages
by Peter O'Hearn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Finite Automata, Formal Logic, and Circuit Complexity on Hardback by Howard Straubing
$289.00
Finite Automata, Formal Logic, and Circuit Complexity
by Howard Straubing ~ Hardback
Available - Usually ships in 3-4 weeks
Object-Oriented Programming A Unified Foundation on Hardback by Giuseppe Castagna
$312.00
Object-Oriented Programming A Unified Foundation
by Giuseppe Castagna ~ Hardback
Available - Usually ships in 3-4 weeks
Subrecursive Programming Systems on Hardback by James S. Royer
$304.00
Subrecursive Programming Systems
by James S. Royer ~ Hardback
Available - Usually ships in 3-4 weeks
Logic of Domains by G Zhang
$287.00
Logic of Domains
by G Zhang ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

During the last three decades several different styles of semantics for program­ ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam­ ples we show how to define operational and denotational semantic models for programming languages. Furthermore, we introduce a general technique for comparing various semantic models for a given language. We focus on different degrees of nondeterminism in programming lan­ guages. Nondeterminism arises naturally in concurrent languages. It is also an important concept in specification languages. In the examples discussed, the degree of non determinism ranges from a choice between two alternatives to a choice between a collection of alternatives indexed by a closed interval of the real numbers. The former arises in a language with nondeterministic choices. A real time language with dense choices gives rise to the latter. We also consider the nondeterministic random assignment and parallel composition, both couched in a simple language. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages.
Release date NZ
December 18th, 1997
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Illustrations
XX, 220 p.
Pages
220
Dimensions
156x234x14
ISBN-13
9780817639273
Product ID
2813122

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 Franck van Breughel

See all books by this author

Comparative Metric Semantics of Programming Languages by Franck van Breughel
$287.00
Comparative Metric Semantics of Programming Languages
by Franck van Breughel ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Calculus & mathematical analysis >
Infinite series
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation