Programming Languages and Systems

11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Editors:

ISBN: 978-3-319-03541-3 (Print) 978-3-319-03542-0 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-16

    Brzozowski’s and Up-To Algorithms for Must Testing

  3. No Access

    Book Chapter

    Pages 17-32

    Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes

  4. No Access

    Book Chapter

    Pages 33-49

    Model Checking Dynamic Pushdown Networks

  5. No Access

    Book Chapter

    Pages 50-57

    Robustness Analysis of Finite Precision Implementations

  6. No Access

    Book Chapter

    Pages 58-73

    A Hoare Logic for SIMT Programs

  7. No Access

    Book Chapter

    Pages 74-89

    The Undefined Domain: Precise Relational Information for Entities That Do Not Exist

  8. No Access

    Book Chapter

    Pages 90-106

    Separation Logic Modulo Theories

  9. No Access

    Book Chapter

    Pages 107-123

    Bi-Abduction with Pure Properties for Specification Inference

  10. No Access

    Book Chapter

    Pages 124-139

    Laws of Programming for References

  11. No Access

    Book Chapter

    Pages 140-155

    Dynamic Alias Protection with Aliasing Contracts

  12. No Access

    Book Chapter

    Pages 156-171

    Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance

  13. No Access

    Book Chapter

    Pages 172-175

    Internal Deployment of the Parfait Static Code Analysis Tool at Oracle

  14. No Access

    Book Chapter

    Pages 176-191

    Secure Compilation of Object-Oriented Components to Protected Module Architectures

  15. No Access

    Book Chapter

    Pages 192-208

    Generalized Quantitative Analysis of Metric Transition Systems

  16. No Access

    Book Chapter

    Pages 209-216

    GDSL: A Universal Toolkit for Giving Semantics to Machine Language

  17. No Access

    Book Chapter

    Pages 217-232

    Paragon for Practical Programming with Information-Flow Control

  18. No Access

    Book Chapter

    Pages 233-240

    ThisJava: An Extension of Java with Exact Types

  19. No Access

    Book Chapter

    Pages 241-256

    Semantics of Probabilistic Programs: A Weak Limit Approach

  20. No Access

    Book Chapter

    Pages 257-272

    Ambivalent Types for Principal Type Inference with GADTs

  21. No Access

    Book Chapter

    Pages 273-289

    Temporal Specification Mining for Anomaly Analysis

previous Page of 2