skip to main content
Show Results with:

Programming languages and systems : 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 / Amal Ahmed (eds.).

European Symposium on Programming (27th : 2018 : Thessalonikē, Greece)

Cham, Switzerland : Springer Open, 2018.

Online access

  • Title:
    Programming languages and systems : 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 / Amal Ahmed (eds.).
  • Author: European Symposium on Programming (27th : 2018 : Thessalonikē, Greece)
  • Contributor: Amal Ahmed editor.;
    ETAPS (Conference) (21st : 2018 : Thessalonikē, Greece) jointly held conference.
  • Other Titles: Variant Title: ESOP 2018
  • Subjects: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; Computer science; Computer programming; Programming languages (Electronic computers); Electronic books; Conference papers and proceedings;
    Dewey: 005.1
  • Rights: Terms governing use: Copyright.
    Access restrictions: NON_PRINT_LEGAL_DEPOSIT
  • Publication Details: Cham, Switzerland : Springer Open, 2018.
  • Language: English
  • Description: 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 --
    Contents: 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 --
    Contents: 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.
  • Identifier: ISBN 9783319898841 (electronic bk.); ISBN 3319898841 (electronic bk.); ISBN (print)
    10.1007/978-3-319-89884-1 doi; BNB GBB948665; System number: 019286657
  • Notes: International conference proceedings.
    Includes author index.
  • Physical Description: 1 online resource (xvi, 1058 pages) : illustrations.
  • Series: Lecture notes in computer science, 10801
    Advanced research in computing and software science
    LNCS sublibrary. SL 1, Theoretical computer science and general issues
  • Shelfmark(s): General Reference Collection DRT ELD.DS.393186
  • UIN: BLL01019286657

Searching Remote Databases, Please Wait