Nominal Game Semantics Image close
Nominal Game Semantics by Andrzej S. Murawski
Nominal Game Semantics by Andrzej S. Murawski
Show Hide Adult Content
Nominal Game Semantics close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Nominal Game Semantics

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

By:

Format:

Paperback / softback
$215.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 $53.75 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Foundations and Trends® in Programming Languages

See all products in this series

Principles of Eventual Consistency by Sebastian Burckhardt
$236.00
Principles of Eventual Consistency
by Sebastian Burckhardt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Refinement Types by Ranjit Jhala
$238.00
Refinement Types
by Ranjit Jhala ~ Paperback / softback
Available - Usually ships in 3-4 weeks
QED at Large by Talia Ringer
$238.00
QED at Large
by Talia Ringer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Progress of Concurrent Objects by Hongjin Liang
$229.00
Progress of Concurrent Objects
by Hongjin Liang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Neurosymbolic Programming by Swarat Chaudhuri
$172.00
Neurosymbolic Programming
by Swarat Chaudhuri ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Shape Analysis by Bor-Yuh Evan Chang
$238.00
Shape Analysis
by Bor-Yuh Evan Chang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Framework For Efficient Modular Heap Analysis by Ravichandhran Madhavan
$204.00
A Framework For Efficient Modular Heap Analysis
by Ravichandhran Madhavan ~ Paperback / softback
Available - Usually ships in 3-4 weeks
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena
$218.00
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
by Marco Vassena ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane
$215.00
Static Analysis and Verification of Aerospace Software by Abstract...
by Julien Bertrane ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Neural Network Verification by Aws Albarghouthi
$238.00
Introduction to Neural Network Verification
by Aws Albarghouthi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Reconciling Abstraction with High Performance by Oleg Kiselyov
$195.00
Reconciling Abstraction with High Performance
by Oleg Kiselyov ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probabilistic Trace and Testing Semantics by Marco Bernardo
$183.00
Probabilistic Trace and Testing Semantics
by Marco Bernardo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Models and Techniques for Analyzing Security Protocols by Veronique Cortier
$215.00
Formal Models and Techniques for Analyzing Security Protocols
by Veronique Cortier ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer-Assisted Query Formulation by Alvin Cheung
$181.00
Computer-Assisted Query Formulation
by Alvin Cheung ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Pointer Analysis by Yannis Smaragdakis
$158.00
Pointer Analysis
by Yannis Smaragdakis ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Behavioral Types in Programming Languages by Davide Ancona
$236.00
Behavioral Types in Programming Languages
by Davide Ancona ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Nominal Game Semantics complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order computation; for example, arenas, justification pointers, and innocence. In contrast, this monograph focuses on explaining the nominal content of our games. It begins by covering the basics of nominal sets before proceeding to introduce the programming language of study, called GroundML. GroundML is a higher-order language with references capable of storing integers, references to integers, references to references to integers, and so on. Before presenting the game model of GroundML in full detail, the reader is given a flavor of the nominal approach with the presentation of ToyML that, for the sake of simplicity, features only integer-valued references and restricted higher-order types. Because ToyML is simpler, it allows a more direct and elementary presentation of its game semantics, which will help the reader to make a transition to the full-blown model. Nominal Game Semantics has been written in a way that will make it accessible to readers who are familiar with standard denotational semantics and types.
Release date NZ
March 9th, 2016
Audience
  • Undergraduate
Pages
94
Dimensions
156x234x5
ISBN-13
9781680831061
Product ID
25036854

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

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general