An edition of Programming Languages and Systems (2013)

Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

by

Cover of: Programming Languages and Systems by Matthias Felleisen, Matthias Felleisen
Read Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
February 26, 2022 | History
Edit
An edition of Programming Languages and Systems (2013)

Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

by

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.

Publish Date
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English
Pages
620

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Logic design, Programming Techniques, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Computer programming, Programming languages (electronic computers)
Edition Availability
Cover of: Programming Languages and Systems
Programming Languages and Systems
Feb 20, 2013, Springer
paperback
Cover of: Programming Languages and Systems
Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English

Add another edition?

Book Details

Table of Contents

Distributed Electronic Rights in JavaScript
The Compiler Forest
Pretty-Big-Step Semantics
Language Constructs for Non-Well-Founded Computation
Laziness by Need
FliPpr: A Prettier Invertible Printing System
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJULIENNE
Why3 — Where Programs Meet Provers
Compositional Invariant Checking for Overlaid and Nested Linked Lists
A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness
Modular Reasoning about Separation of Concurrent Data Structures
Ribbon Proofs for Separation Logic
Abstract Refinement Types
Constraining Delimited Control with Contracts
Verifying Concurrent Memory Reclamation Algorithms with Grace
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
Verifying Concurrent Programs against Sequential Specifications
On Distributability in Process Calculi
Behavioral Polymorphism and Parametricity in Session-Based Communication
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Concurrent Flexible Reversibility
Structural Lock Correlation with Ownership Types
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
Model-Checking Higher-Order Programs with Recursive Types
Counterexample-Guided Precondition Inference
Information Reuse for Multi-goal Reachability Analyses
Quarantining Weakness: Compositional Reasoning under Relaxed Memory Models (Extended Abstract)
Software Verification for Weak Memory via Program Transformation
Checking and Enforcing Robustness against TSO
GADTs Meet Subtyping
A Data Driven Approach for Algebraic Loop Invariants
Automatic Type Inference for Amortised Heap-Space Analysis.

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7792

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.758

The Physical Object

Format
[electronic resource] :
Pagination
XIX, 620 p. 162 illus.
Number of pages
620

Edition Identifiers

Open Library
OL27083197M
Internet Archive
programminglangu00mill
ISBN 13
9783642370366

Work Identifiers

Work ID
OL19897229W

Source records

Internet Archive item record
Better World Books record
harvard_bibliographic_metadata record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
February 26, 2022 Edited by ImportBot import existing book
July 6, 2019 Created by MARC Bot import new book