Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/730
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Ahmed, Amal. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:21:21Z | - |
| dc.date.available | 2020-05-17T08:21:21Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319898841 ; | en_US |
| dc.identifier.isbn | 9783319898834 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/730 | - |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319898834. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book is Open Access under a CC BY licence. . ; | en_US |
| dc.description.statementofresponsibility | edited by Amal Ahmed. | en_US |
| dc.description.tableofcontents | 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 theee -- 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_US |
| dc.format.extent | XVI, 1058 p. 276 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10801. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10801. ; | en_US |
| dc.relation.haspart | 9783319898841.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer hardware. ; | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | Computer Hardware. ; | en_US |
| dc.subject | Computing Methodologies. ; | en_US |
| dc.subject | Computing Milieux. ; | en_US |
| dc.subject.ddc | 005.13 ; 23 ; | en_US |
| dc.subject.lcc | QA76.76.C65 ; | en_US |
| dc.title | Programming Languages and Systems | en_US |
| dc.title.alternative | 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_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319898841.pdf | 29.02 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Ahmed, Amal. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:21:21Z | - |
| dc.date.available | 2020-05-17T08:21:21Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319898841 ; | en_US |
| dc.identifier.isbn | 9783319898834 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/730 | - |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319898834. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book is Open Access under a CC BY licence. . ; | en_US |
| dc.description.statementofresponsibility | edited by Amal Ahmed. | en_US |
| dc.description.tableofcontents | 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 theee -- 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_US |
| dc.format.extent | XVI, 1058 p. 276 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10801. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10801. ; | en_US |
| dc.relation.haspart | 9783319898841.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer hardware. ; | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | Computer Hardware. ; | en_US |
| dc.subject | Computing Methodologies. ; | en_US |
| dc.subject | Computing Milieux. ; | en_US |
| dc.subject.ddc | 005.13 ; 23 ; | en_US |
| dc.subject.lcc | QA76.76.C65 ; | en_US |
| dc.title | Programming Languages and Systems | en_US |
| dc.title.alternative | 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_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319898841.pdf | 29.02 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Ahmed, Amal. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:21:21Z | - |
| dc.date.available | 2020-05-17T08:21:21Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319898841 ; | en_US |
| dc.identifier.isbn | 9783319898834 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/730 | - |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319898834. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | This book is Open Access under a CC BY licence. . ; | en_US |
| dc.description.statementofresponsibility | edited by Amal Ahmed. | en_US |
| dc.description.tableofcontents | 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 theee -- 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_US |
| dc.format.extent | XVI, 1058 p. 276 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10801. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10801. ; | en_US |
| dc.relation.haspart | 9783319898841.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer hardware. ; | en_US |
| dc.subject | Computer organization. ; | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject | Computer Systems Organization and Communication Networks. ; | en_US |
| dc.subject | Computer Hardware. ; | en_US |
| dc.subject | Computing Methodologies. ; | en_US |
| dc.subject | Computing Milieux. ; | en_US |
| dc.subject.ddc | 005.13 ; 23 ; | en_US |
| dc.subject.lcc | QA76.76.C65 ; | en_US |
| dc.title | Programming Languages and Systems | en_US |
| dc.title.alternative | 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_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319898841.pdf | 29.02 MB | Adobe PDF | Preview File |