Skip to main content
Springer Nature Link
Log in

Programming Languages and Systems

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Chung-chieh Shan

    1. Indiana University, Bloomington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8301)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: APLAS 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems.

Similar content being viewed by others

Keywords

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Brzozowski’s and Up-To Algorithms for Must Testing

    • Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
    Pages 1-16

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

    • Koichi Fujima, Sohei Ito, Naoki Kobayashi
    Pages 17-32

  4. Model Checking Dynamic Pushdown Networks

    • Fu Song, Tayssir Touili
    Pages 33-49

  5. Robustness Analysis of Finite Precision Implementations

    • Eric Goubault, Sylvie Putot
    Pages 50-57

  6. A Hoare Logic for SIMT Programs

    • Kensuke Kojima, Atsushi Igarashi
    Pages 58-73

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

    • Holger Siegel, Bogdan Mihaila, Axel Simon
    Pages 74-89

  8. Separation Logic Modulo Theories

    • Juan Antonio Navarro Pérez, Andrey Rybalchenko
    Pages 90-106

  9. Bi-Abduction with Pure Properties for Specification Inference

    • Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
    Pages 107-123

  10. Laws of Programming for References

    • Giovanny Lucero, David Naumann, Augusto Sampaio
    Pages 124-139

  11. Dynamic Alias Protection with Aliasing Contracts

    • Janina Voigt, Alan Mycroft
    Pages 140-155

  12. Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance

    • Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
    Pages 156-171

  13. Internal Deployment of the Parfait Static Code Analysis Tool at Oracle

    • Cristina Cifuentes, Nathan Keynes
    Pages 172-175

  14. Secure Compilation of Object-Oriented Components to Protected Module Architectures

    • Marco Patrignani, Dave Clarke, Frank Piessens
    Pages 176-191

  15. Generalized Quantitative Analysis of Metric Transition Systems

    • Uli Fahrenberg, Axel Legay
    Pages 192-208

  16. GDSL: A Universal Toolkit for Giving Semantics to Machine Language

    • Julian Kranz, Alexander Sepp, Axel Simon
    Pages 209-216

  17. Paragon for Practical Programming with Information-Flow Control

    • Niklas Broberg, Bart van Delft, David Sands
    Pages 217-232

  18. ThisJava: An Extension of Java with Exact Types

    • Hyunik Na, Sukyoung Ryu
    Pages 233-240

  19. Semantics of Probabilistic Programs: A Weak Limit Approach

    • Alessandra Di Pierro, Herbert Wiklicky
    Pages 241-256

  20. Ambivalent Types for Principal Type Inference with GADTs

    • Jacques Garrigue, Didier Rémy
    Pages 257-272
Back to top

Other volumes

  1. Programming Languages and Systems

Editors and Affiliations

  • Indiana University, Bloomington, USA

    Chung-chieh Shan

Bibliographic Information

Publish with us

Policies and ethics

Back to top