Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, ProceedingsThis open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
| 1 | |
| 29 | |
3 On the Versatility of Open Logical Relations | 56 |
4 Constructive Game Logic | 84 |
5 Optimal and Perfectly Parallel Algorithms forOndemand Dataflow Analysis | 112 |
6 Concise ReadOnly Specifications for Better Synthesis of Programs with Pointers 5pt | 141 |
7 Soundness conditions for bigstep semantics | 169 |
8 Liberate Abstract Garbage Collection fromthe Stack by Decomposing the Heap | 197 |
16 Connecting HigherOrder Separation Logic to a FirstOrder Outside World | 428 |
17 Modular Inference of Linear Types for MultiplicityAnnotated Arrows | 456 |
CHCbased Verification for Rust Programs | 484 |
19 A FirstOrder Logic with Frames | 515 |
20 Proving the safety of highlyavailable distributed objects | 544 |
21 Solving Program Sketches withLarge Integer Values | 572 |
22 Modular Relaxed Dependencies in Weak Memory Concurrency | 599 |
instruction fetch in relaxed architectures | 626 |
9 SMTFriendly Formalization of the Solidity Memory Model | 224 |
10 Exploring TypeLevel Bisimilarity towards More Expressive Multiparty Session Types | 251 |
11 Verifying VisibilityBased Weak Consistency | 280 |
12 Local Reasoning for Global Graph Properties | 308 |
A Mechanised Logic for Modular Reasoning about Distributed Systems | 336 |
14 Continualization of Probabilistic ProgramsWith Correction | 366 |
15 Semantic Foundations for Deterministic Dataflow and Stream Processing | 394 |
24 HigherRanked Annotation Polymorphic Dependency Analysis | 656 |
Context and FlowSensitive Ownership Refinement Types for Imperative Programs | 684 |
26 Mixed Sessions | 715 |
27 HigherOrder Spreadsheets with Spilled Arrays | 743 |
| 770 | |
Other editions - View all
Programming Languages and Systems: 29th European Symposium on Programming ... Peter Müller No preview available - 2020 |
Programming Languages and Systems: 29th European Symposium on Programming ... Peter Müller No preview available - 2020 |
Common terms and phrases
abstract algorithm allows analysis annotations applied approach argument array choice communication compiler Computer concurrent Conference consider consistent construct contains context continuous correctness corresponding defined definition denote dependency described distributed effects equivalent evaluation event example execution existing expression extended external Figure Finally flow formal formula function given global graph heap implementation induction inference input instruction introduce invariant language Lemma linear logic memory multiset node Notes obtain operation original perform pointer predicate present problem Proceedings Programming Languages proof properties prove reasoning reduce reference refinement relation represent requires respect result rule satisfies semantics separation logic soundness specification spill Springer stream structure Theorem Thread trace variables verification write
Bibliographic information
| Title | Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Volume 12075 of Theoretical Computer Science and General Issues |
| Editor | Peter Müller |
| Publisher | Springer Nature, 2020 |
| ISBN | 3030449149, 9783030449148 |
| Length | 772 pages |
| Subjects | › › Computers / Artificial Intelligence / Natural Language Processing Computers / Computer Science Computers / Hardware / General Computers / Languages / General Computers / Networking / General Computers / Online Services Computers / Programming / Algorithms Computers / Programming / General Computers / Speech & Audio Processing |
| Export Citation | BiBTeX EndNote RefMan |