Programming Languages and Systems

21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

By: Helmut Seidl (Editor)

Write A Review

Paperback | 14 March 2012

At a Glance

Paperback
620 Pages

Dimensions(cm)
23.39 x 15.6 x 3.18

Paperback

$101.07

or 4 interest-free payments of $25.27 with

Aims to ship in 7 to 10 business days

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

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 Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Mathematical Theory of Computation Software Engineering Computer Hardware Network Hardware

Compilers & Interpreters

Foundations of C++	p. 1
What's Decidable about Weak Memory Models?	p. 26
A Formally Verified SSA-Based Middle-End: Static Single Assignment Meets CompCert	p. 47
Eventually Consistent Transactions	p. 67
Concurrent Library Correctness on the TSO Memory Model	p. 87
Automated Verification of Equivalence Properties of Cryptographic Protocols	p. 108
The Call-by-Need Lambda Calculus, Revisited	p. 128
A Compositional Specification Theory for Component Behaviours	p. 148
Probabilistic Abstract Interpretation	p. 169
Multiparty Session Types Meet Communicating Automata	p. 194
Complete Monitors for Behavioral Contracts	p. 214
A Systematic Approach to Delimited Control with Multiple Prompts	p. 234
Generate, Test, and Aggregate: A Calculation-Based Framework for Systematic Parallel Programming with MapReduce	p. 254
Trace Spaces: An Efficient New Technique for State-Space Reduction	p. 274
A Process Algebra for Wireless Mesh Networks	p. 295
On the Correctness of the SIMT Execution Model of GPUs	p. 316
Reasoning about Lock Placements	p. 336
Reasoning about Multi-stage Programs	p. 357
Fictional Separation Logic	p. 377
Validating LR(1) Parsers	p. 397
Adding Equations to System F Types	p. 417
GMeta: A Generic Formal Metatheory Framework for First-Order Representations	p. 436
Expansion for Universal Quantifiers	p. 456
Non-monotonic Self-Adjusting Computation	p. 476
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation	p. 497
A Type and Effect System for Determinism in Multithreaded Programs	p. 518
Linear Logical Relations for Session-Based Concurrency	p. 539
Staged Computation with Staged Lexical Scope	p. 559
Gradual Ownership Types	p. 579
Author Index	p. 601
Table of Contents provided by Ingram. All Rights Reserved.

Programming Languages and Systems

21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Modern PHP

New Features and Good Practices

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

C++ How to Program, Global Edition

11th Edition

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Head First C#

4th Edition

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Definitive ANTLR 4 Reference

2nd Edition

Scaling Python with Dask

From Data Science to Machine Learning

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Fluent C

Principles, Practices, and Patterns

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Typescript Cookbook

Real World Type-Level Programming

Hands-on Rust

Effective Learning through 2D Game Development and Play

Python for Algorithmic Trading

From Idea to Cloud Deployment

JavaScript Cookbook

Programming the Web 3rd Edition

Getting Started with Sensors

Measure the World with Electronics, Arduino, and Raspberry Pi

Effective Haskell

Solving Real-World Problems with Strongly Typed Functional Programming

HTTP

Understanding Web Internals

This product is categorised by