Programming Languages and Systems 1st Edition by Amal Ahmed ISBN 9783319898834 3319898833

Programming Languages and Systems 1st Edition by Amal Ahmed – Ebook PDF Instant Download/Delivery: 9783319898834, 3319898833

Full download Programming Languages and Systems 1st Edition after payment

Product details:

ISBN 10: 3319898833

ISBN 13: 9783319898834

Author: Amal Ahmed

This open access book constitutes the proceedings of the 27^th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.

The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Table of contents: 

1. Consistent Subtyping for All

2. HOBiT: Programming Lenses Without Using Lens Combinators

3. Dualizing Generalized Algebraic Data Types by Matrix Transposition

4. Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach

5. An Assertion-Based Program Logic for Probabilistic Programs

6. Fine-Grained Semantics for Probabilistic Programs

7. How long, O Bayesian network, will I sample thee?

8. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

9. Failure is Not an Option

10. Let Arguments Go First

11. Behavioural Equivalence via Modalities for Algebraic Effects

12. Explicit Effect Subtyping

13. A Separation Logic for a Promising Semantics

14. Logical Reasoning for Disjoint Permissions

15. Deadlock-Free Monitors

16. Fragment Abstraction for Concurrent Shape Analysis

17. Reasoning About a Machine with Local Capabilities

18. Modular Product Programs

19. A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification

20. Verified Learning Without Regret

21. Program Verification by Coinduction

22. Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq

23. Evaluating Design Tradeoffs in Numeric Static Analysis for Java

24. An Abstract Interpretation Framework for Input Data Usage

25. Higher-Order Program Verification via HFL Model Checking

26. Quantitative Analysis of Smart Contracts

27. Session-Typed Concurrent Contracts

28. A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems

29. On Polymorphic Sessions and Functions

30. Concurrent Kleene Algebra: Free Model and Completeness

31. Correctness of a Concurrent Object Collector for Actor Languages

32. Paxos Consensus, Deconstructed and Abstracted

33. On Parallel Snapshot Isolation and Release/Acquire Consistency

34. Eventual Consistency for CRDTs

35. A Verified Compiler from Isabelle/HOL to CakeML

36. Compositional Verification of Compiler Optimisations on Relaxed Memory

People also search for:

 acm transactions on programming languages and systems
asian symposium on programming languages and systems
acm transactions on programming languages and systems impact factor
parallel programming languages and systems
robot programming languages and systems

Tags: Amal Ahmed, Programming Languages, Systems