Description |
1 online resource (xiii, 492 pages) : illustrations (some color) |
Series |
Lecture notes in computer science ; 11893 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 11893.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Intro; Preface; Organization; Network Verification: Past, Present, and Future (Invited Paper); Contents; Invited Papers; Proving that Programs Are Differentially Private; 1 Introduction; 2 Review of Quantitative Information Flow; 3 Differential Privacy as a Problem in QIF; 4 QIF in Programming Languages; 4.1 The Probabilistic Monad for Information Flow; 5 Example: Implementing Plausible Deniability; 5.1 Random Response Protocol; 6 Experiment and Exploration; 7 Related Work; 8 Conclusions; References; On Strings in Software Model Checking; 1 Introduction; 1.1 Strings in Programming Languages |
|
2 Survey of Existing Methods for String Analysis2.1 Bounded Methods; 2.2 Unbounded Methods; 3 Towards String Handling in a Java Model Checker; 3.1 Dealing with Implementation Artefacts; 3.2 Strings as an Algebraic Data-Type; 3.3 Learning Invariants over Strings; 4 Conclusions; References; Types; Manifest Contracts with Intersection Types; 1 Introduction; 1.1 Motivation; 1.2 Our Work; 2 Overview of Our Language: PCFvH; 2.1 The -Calculus; 2.2 Cast Semantics for Intersection Types; 3 Formal Systems; 3.1 PCFv; 3.2 PCFvH; 3.3 Operational Semantics of PCFvH; 3.4 Type System of PCFvH; 4 Properties |
|
4.1 Type Soundness5 Related Work; 6 Conclusion; References; A Dependently Typed Multi-stage Calculus; 1 Introduction; 1.1 Multi-stage Programming and MetaOCaml; 1.2 Multi-stage Programming with Dependent Types; 1.3 Our Work; 2 Informal Overview of MD; 2.1 %; 2.2 Extending % with Dependent Types; 3 Formal Definition of MD; 3.1 Syntax; 3.2 Reduction; 3.3 Type System; 3.4 Staged Semantics; 4 Properties of MD; 5 Related Work; 6 Conclusion; References; Existential Types for Relaxed Noninterference; 1 Introduction; 2 Overview; 2.1 Existential Types |
|
2.2 Type-Based Declassification Policies with Existential Types2.3 Computing with Secrets; 2.4 Public Data as (Declassifiable) Secret; 3 Relaxed Noninterference with Existential Types; 4 Formal Semantics; 4.1 Syntax; 4.2 Static Semantics; 4.3 Dynamic Semantics and Type Safety; 5 Existential Relaxed Noninterference, Formally; 5.1 Logical Relation for Type-Based Equivalence; 5.2 Existential Relaxed Noninterference; 5.3 Security Type Soundness; 6 Illustration; 7 Related Work; 8 Conclusion; References; Program Analysis; Dissecting Widening: Separating Termination from Information; 1 Introduction |
|
2 Kleene Iteration with Widening3 Problems and Pitfalls; 3.1 Problems of Compositionality; 3.2 Flexibility: Handling Variants of Widening; 3.3 Problems of Fragility: Termination; 4 Isolated Widening; 5 Properties of Isolated Widening; 5.1 Compositionality: Domain Products and Widening; 5.2 Flexibility: Variations of Widening; 5.3 Convergence; 6 Implementation; 7 Related Work; 8 Conclusion; References; Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies; 1 Introduction; 2 Terms and Notations; 3 Pilot Study; 4 NCDs of Similar Alarms; 4.1 The Notion of NCD of an Alarm |
Summary |
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed November 19, 2019) |
Subject |
Programming languages (Electronic computers) -- Congresses
|
|
Computer programming -- Congresses
|
|
Computer programming
|
|
Programming languages (Electronic computers)
|
Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Lin, Anthony Widjaja, editor
|
ISBN |
9783030341756 |
|
3030341755 |
|