| Description |
1 online resource (xi, 383 pages) |
| Series |
Lecture notes in computer science, 0302-9743 ; 7078 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7078.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Intro -- Title Page -- Preface -- Organization -- Table of Contents -- Invited Talks -- Program Analysis and Machine Learning: A Win-Win Deal -- References -- Software Verification with Liquid Types -- Engineering Theories with Z3 -- Introduction -- SMT, DPLL(T), and Z3 -- SMT -- DPLL(T) -- Z3's Theory Solver API -- Weighted MaxSMT -- Theories for Partial Orders and Class Inheritance -- A Basic Solver for Partial Orders -- Sub-typing Closure -- A Theory of Object Graphs -- An Encoding Using Arrays -- An Encoding Using Recursive Data-Types and Arrays -- Not All Encodings are Equal -- HOL |
|
Leveraging Theories -- Conclusions -- References -- Algebra, Logic, Locality, Concurrency -- References -- Session 1: Program Analysis -- Modular Abstractions of Reactive Nodes Using Disjunctive Invariants -- Introduction -- Invariants by Predicate Abstraction -- Solution of a Universally Quantified Formula -- Naive Algorithm for a Given Postcondition -- Performance Improvements -- Iterative Refinement of Invariants -- Extensions -- Step-by-Step Example of Invariant Inference -- Construction of the Abstract Automaton -- Related Work -- Conclusion |
|
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants -- Introduction -- Invariants by Predicate Abstraction -- Solution of a Universally Quantified Formula -- Naive Algorithm for a Given Postcondition -- Performance Improvements -- Iterative Refinement of Invariants -- Extensions -- Step-by-Step Example of Invariant Inference -- Construction of the Abstract Automaton -- Related Work -- Conclusion -- References -- Template-Based Unbounded Time Verification of Affine Hybrid Automata -- Introduction -- Basics -- Our Approach: Getting into the Corset of the Monotone Framework |
|
Adapting the Max-Strategy Approach -- Conclusion -- References -- Access-Based Localization with Bypassing -- Introduction -- Setting: Analysis Framework -- Graph Representation of Programs -- Static Analysis -- Access-Based Localization with Bypassing -- Access-Based Localization: Previous Approach -- Access-Based Localization with Bypassing: Our Approach -- Delivery Points Optimization -- Experiments -- Setting Up -- Results -- Related Work -- Conclusion -- References -- Session 2: Functional Programming -- A Deductive Database with Datalog and SQL Query Languages -- Introduction |
|
System Architecture -- Source-to-Source Program Transformations -- Compile-Time Analyses -- Strong Constraints -- Tracing and Debugging -- Conclusions -- References -- Constructing List Homomorphisms from Proofs -- Introduction -- Preliminaries -- Folds and List Homomorphisms -- From Duality to Homomorphism -- The Steep List Problem -- Constructing () Formally -- Computing Capacity by a List Homomorphism -- Parallel Scan -- Reasoning with Conditionals -- Conclusions -- References -- Extending Hindley-Milner Type Inference with Coercive Structural Subtyping -- Introduction |
| Summary |
This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic |
| Analysis |
Computer science |
|
Software engineering |
|
Data protection |
|
Logic design |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
|
Systems and Data Security |
|
Programming Techniques |
|
Mathematical Logic and Formal Languages |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Programming languages (Electronic computers) -- Congresses
|
|
Software engineering -- Congresses
|
|
Informatique.
|
|
Programming languages (Electronic computers)
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Yang, Hongseok.
|
| ISBN |
9783642253188 |
|
3642253180 |
|
