Behavioral Types in Programming Languages Image close
Behavioral Types in Programming Languages by Davide Ancona
Behavioral Types in Programming Languages by Davide Ancona
Show Hide Adult Content
Behavioral Types in Programming Languages close

Computers & Internet Books:

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

Behavioral Types in Programming Languages

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

By:

Format:

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

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

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 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
$233.00
Principles of Eventual Consistency
by Sebastian Burckhardt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Refinement Types by Ranjit Jhala
$235.00
Refinement Types
by Ranjit Jhala ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Shape Analysis by Bor-Yuh Evan Chang
$235.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
$201.00
A Framework For Efficient Modular Heap Analysis
by Ravichandhran Madhavan ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Neurosymbolic Programming by Swarat Chaudhuri
$169.00
Neurosymbolic Programming
by Swarat Chaudhuri ~ Paperback / softback
Available - Usually ships in 3-4 weeks
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena
$214.00
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
by Marco Vassena ~ Paperback / softback
Available - Usually ships in 3-4 weeks
QED at Large by Talia Ringer
$235.00
QED at Large
by Talia Ringer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Julien Bertrane
$212.00
Static Analysis and Verification of Aerospace Software by Abstract...
by Julien Bertrane ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Progress of Concurrent Objects by Hongjin Liang
$226.00
Progress of Concurrent Objects
by Hongjin Liang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Neural Network Verification by Aws Albarghouthi
$235.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
$192.00
Reconciling Abstraction with High Performance
by Oleg Kiselyov ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nominal Game Semantics by Andrzej S. Murawski
$212.00
Nominal Game Semantics
by Andrzej S. Murawski ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Probabilistic Trace and Testing Semantics by Marco Bernardo
$180.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
$212.00
Formal Models and Techniques for Analyzing Security Protocols
by Veronique Cortier ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Pointer Analysis by Yannis Smaragdakis
$156.00
Pointer Analysis
by Yannis Smaragdakis ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer-Assisted Query Formulation by Alvin Cheung
$178.00
Computer-Assisted Query Formulation
by Alvin Cheung ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to design and monitoring methodologies that take behaviors into account. Behavioral Types in Programming Languages provides the reader with the first comprehensive overview of the state of the art of these practical aspects, which are summarized as the pragmatics of behavioral types. Each section covers a particular programming paradigm or methodology, providing an ideal reference for programming languages researchers interested the topic, and in identifying the areas as yet unexplored.
Release date NZ
July 21st, 2016
Pages
156
Audience
  • Postgraduate, Research & Scholarly
Dimensions
156x234x8
ISBN-13
9781680831344
Product ID
25682345

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 Davide Ancona

See all books by this author

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
Object-Oriented Programming A Unified Foundation by Giuseppe Castagna
$293.00
Object-Oriented Programming A Unified Foundation
by Giuseppe Castagna ~ 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 / software development >
Programming & scripting languages: general