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 $89.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 Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)