Coverart for item
The Resource Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings, Hongseok Yang (ed.)

Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings, Hongseok Yang (ed.)

Label
Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings
Title
Programming languages and systems
Title remainder
9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings
Statement of responsibility
Hongseok Yang (ed.)
Creator
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
005.13
Index
index present
LC call number
QA76.7
LC item number
.A65 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
APLAS (Symposium)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Yang, Hongseok
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7078
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Software engineering
  • Informatique
  • Programming languages (Electronic computers)
  • Software engineering
Label
Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings, Hongseok Yang (ed.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
768341234
Dimensions
unknown
Extent
1 online resource (xi, 383 pages).
File format
unknown
Form of item
online
Isbn
9783642253188
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-25318-8
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)768341234
Label
Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings, Hongseok Yang (ed.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
768341234
Dimensions
unknown
Extent
1 online resource (xi, 383 pages).
File format
unknown
Form of item
online
Isbn
9783642253188
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-25318-8
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)768341234

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...