Franklin

Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed.

Edition:
1st ed. 2018.
Publication:
Cham : Springer International Publishing : Imprint: Springer, 2018.
Conference Name:
European Symposium on Programming (27th : 2018 : Thessalonikē, Greece)
Series:
Theoretical Computer Science and General Issues ; 10801
Theoretical Computer Science and General Issues ; 10801
Format/Description:
Conference/Event
Book
1 online resource (XVI, 1058 p. 276 illus.)
Subjects:
Programming languages (Electronic computers).
Computers.
Computer organization.
Computer hardware.
Artificial intelligence.
Local subjects:
Programming Languages, Compilers, Interpreters. (search)
Theory of Computation. (search)
Computer Systems Organization and Communication Networks. (search)
Computer Hardware. (search)
Artificial Intelligence. (search)
Computing Milieux. (search)
Summary:
This book is Open Access under a CC BY licence. .
Contents:
Language Design
Consistent Subtyping for All
HOBiT: Programming Lenses without using Lens Combinators
Dualizing Generalized Algebraic Data Types by Matrix Transposition
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Probabilistic Programming
An Assertion-Based Program Logic for Probabilistic Programs
Fine-grained Semantics for Probabilistic Programs
How long, O Bayesian network, will I sample thee?
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
Types and Effects
Failure is Not an Option: An Exceptional Type Theory
Let Arguments Go First
Behavioural equivalence via modalities for algebraic effects
Explicit Effect Subtyping
Concurrency
A separation logic for a promising semantics
Logical Reasoning for Disjoint Permissions
Deadlock-Free Monitors
Fragment Abstraction for Concurrent Shape Analysis
Security
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management
Modular Product Programs
Program Verification
A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
Verified Learning Without Regret
Program Verification by Coinduction
Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq
Program Analysis and Automated Verification
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
An Abstract Interpretation Framework for Input Data Usage
Higher-Order Program Verification via HFL Model Checking
Quantitative Analysis of Smart Contracts
Session Types and Concurrency
Session-Typed Concurrent Contracts
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Concurrent Kleene Algebra: Free Model and Completeness
Concurrency and Distribution
Correctness of a Concurrent Object Collector for Actor Languages
Paxos Consensus, Deconstructed and Abstracted
On Parallel Snapshot Isolation and Release/Acquire Consistency
Eventual Consistency for CRDTs
Compiler Verification
A Verified Compiler from Isabelle/HOL to CakeML
Compositional Verification of Compiler Optimisations on Relaxed Memory.
Contributor:
Ahmed, Amal. editor., Editor,
ISBN:
3-319-89884-1
Publisher Number:
10.1007/978-3-319-89884-1 doi
Access Restriction:
Open Access
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy