Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings /: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: APLAS 2019
• Further Information: Note: Anthony Widjaja Lin (eds.).
• Editors: Lin, Anthony Widjaja
• Other Names: APLAS (Symposium), 17th
• 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
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xiii, 492 pages), illustrations (some color)
• Subjects: 005.13; Programming languages (Electronic computers) -- Congresses; Computer programming -- Congresses; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783030341756; 3030341755
• Related ISBNs: 9783030341749
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed November 19, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.