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 - Helmut Seidl

Instant online reading.
Don't wait for delivery!

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.5 x 15.49 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 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

Orders over $79.00 qualify for free shipping.

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 Software Engineering

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Hacking For Dummies

For Dummies (Computer/Tech)

Design Patterns

Elements of Reusable Object-Oriented Software

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

User Story Mapping

Discover the Whote Story, Build the Right Product

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Git : Pocket Guide

A Working Introduction

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

This product is categorised by