skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: Amal Ahmed
Publisher: Cham, Switzerland : Springer Open, 2018.
Series: Lecture notes in computer science, 10801.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book is Open Access under a CC BY licence.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Amal Ahmed
ISBN: 9783319898841 3319898841
OCLC Number: 1031400010
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xvi, 1058 pages) : illustrations
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.
Series Title: Lecture notes in computer science, 10801.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: ESOP 2018
Responsibility: Amal Ahmed (eds.).
More information:

Abstract:

This book is Open Access under a CC BY licence.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1031400010> # 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
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1031400010" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5076485368#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5076485368#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/5076485368#Topic/computer_science> ; # Computer science
    schema:alternateName "ESOP 2018" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5076485368#Meeting/etaps_conference_21st_2018_thessalonike_greece> ; # ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece),
    schema:creator <http://experiment.worldcat.org/entity/work/data/5076485368#Meeting/european_symposium_on_programming_27th_2018_thessalonike_greece> ; # European Symposium on Programming (27th : 2018 : Thessalonikē, Greece)
    schema:datePublished "2018" ;
    schema:description "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."@en ;
    schema:description "This book is Open Access under a CC BY licence."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5076485368#Person/ahmed_amal> ; # Amal Ahmed
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5076485368> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5076485368#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5076485368#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5076485368#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5076485368#Series/advanced_research_in_computing_and_software_science> ; # Advanced research in computing and software science
    schema:name "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"@en ;
    schema:productID "1031400010" ;
    schema:url <http://www.oapen.org/search?identifier=1002265> ;
    schema:url <http://www.oapen.org/download?type=document&docid=1002265> ;
    schema:url <https://doi.org/10.1007/978-3-319-89884-1> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-89884-1> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-89884-1> ;
    schema:workExample <http://worldcat.org/isbn/9783319898841> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB948665> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1031400010> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5076485368#Meeting/etaps_conference_21st_2018_thessalonike_greece> # ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece),
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5076485368#Place/thessalonike_greece> ; # Thessalonikē , Greece),
    schema:name "ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece)," ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Meeting/european_symposium_on_programming_27th_2018_thessalonike_greece> # European Symposium on Programming (27th : 2018 : Thessalonikē, Greece)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5076485368#Place/thessalonike_greece> ; # Thessalonikē , Greece),
    schema:name "European Symposium on Programming (27th : 2018 : Thessalonikē, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Person/ahmed_amal> # Amal Ahmed
    a schema:Person ;
    schema:familyName "Ahmed" ;
    schema:givenName "Amal" ;
    schema:name "Amal Ahmed" ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Place/thessalonike_greece> # Thessalonikē , Greece),
    a schema:Place ;
    schema:name "Thessalonikē , Greece)," ;
    schema:name "Thessalonikē, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Series/advanced_research_in_computing_and_software_science> # Advanced research in computing and software science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1031400010> ; # 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
    schema:name "Advanced research in computing and software science" ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1031400010> ; # 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
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1031400010> ; # 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
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1031400010> ; # 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
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5076485368#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://worldcat.org/isbn/9783319898841>
    a schema:ProductModel ;
    schema:isbn "3319898841" ;
    schema:isbn "9783319898841" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1031400010> ; # 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
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1031400010>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1031400010> ; # 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
    schema:dateModified "2019-07-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.