+612 9045 4394
 
CHECKOUT
Programming Languages and Systems : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings - Andrew Gordon

Programming Languages and Systems

19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

By: Andrew Gordon (Editor)

Paperback Published: 17th March 2010
ISBN: 9783642119569
Number Of Pages: 632

Share This Book:

Paperback

$204.16
or 4 easy payments of $51.04 with Learn more
Ships in 5 to 9 business days

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual?vesisterconferences(CC, ESOP, FASE, FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci?c to the satellite events). The ?ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe?nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings.

The Audacity of Hope: Thoughts on Reclaiming the Database Dream (ETAPS Invited Lecture)p. 1
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (ESOP Invited Lecture)p. 2
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysisp. 23
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arraysp. 43
A Semantic Framework for Declassification and Endorsementp. 64
Amortises Resource Analysis with Separation Logicp. 85
A polyTime Functional Language from Light Linear Logicp. 104
Testing Polymorphic Propertiesp. 125
Formal Verification of Coalescing Graph-Coloring Register Allocationp. 145
A Theory of Speculative Computationp. 165
Propositional Interpolation and Abstract Interpretationp. 185
Functional Programming in Sublinear Spacep. 205
Logical Concurrency Control from Sequential Proofsp. 226
Fluid Updates: Beyond Strong vs. Weak Updatesp. 246
Parameterized Memory Models and Concurrent Separation Logicp. 267
Amortized Resource Analysis with Polynomial Potential: A Static Inference of polynomial Bounds for Functional Programsp. 287
Generative Operational Semantics for Relaxed Memory modelsp. 307
Automating Security Mediation Placementp. 327
TRX: A Formally Verified Parser Interpreterp. 345
On the Expressive Power of Primitives for Compensation Handlingp. 366
Separating Shape Graphsp. 387
Deadlock-Free Channels and Locksp. 407
Verifying a Compiler for Java Threadsp. 427
A Grammar-Based Approach to Invertible Programsp. 448
Faulty Logic: Reasoning about Fault Tolerant Programsp. 468
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of Whilep. 488
A Universal Calculus for Stream Processing Languagesp. 507
Enforcing Stateful Authorization and Information Flow Polices in FINEp. 529
Stateful Contracts for Affine Typesp. 550
CF2:A Context-Free Approach to Control-Flow Analysisp. 570
Weithted Dynamic Pushdown Networksp. 590
Ecplicit Stabilisation for Modular Rely-Guarantee Reasoningp. 610
Author Indexp. 631
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783642119569
ISBN-10: 3642119565
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 632
Published: 17th March 2010
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.37 x 15.49  x 3.05
Weight (kg): 0.98