[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Programming Languages and Systems

12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Jacques Garrigue

    1. Graduate School of Mathematics, Nagoya University, Chikusa-ku, Nagoya, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: APLAS 2014.

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
£29.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 GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. 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 - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation.

Similar content being viewed by others

Keywords

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Presentation

    1. NetKAT — A Formal System for the Verification of Networks

      • Dexter Kozen
      Pages 1-18

  3. Regular Papers

    1. Optimized Compilation of Multiset Rewriting with Comprehensions

      • Edmund Soon Lee Lam, Iliano Cervesato
      Pages 19-38

    2. Logic Programming and Logarithmic Space

      • Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
      Pages 39-57

    3. Automatic Memory Management Based on Program Transformation Using Ownership

      • Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
      Pages 58-77

    4. The Essence of Ruby

      • Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
      Pages 78-98

    5. Types for Flexible Objects

      • Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott Smith
      Pages 99-119

    6. A Translation of Intersection and Union Types for the λμ-Calculus

      • Kentaro Kikuchi, Takafumi Sakurai
      Pages 120-139

    7. A Formalized Proof of Strong Normalization for Guarded Recursive Types

      • Andreas Abel, Andrea Vezzosi
      Pages 140-158

    8. Functional Pearl: Nearest Shelters in Manhattan

      • Shin-Cheng Mu, Ting-Wei Chen
      Pages 159-175

    9. Suppl: A Flexible Language for Policies

      • Robert Dockins, Andrew Tolmach
      Pages 176-195

    10. A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking

      • Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan
      Pages 196-215

    11. Model-Checking for Android Malware Detection

      • Fu Song, Tayssir Touili
      Pages 216-235

    12. Necessary and Sufficient Preconditions via Eager Abstraction

      • Mohamed Nassim Seghir, Peter Schrammel
      Pages 236-254

    13. Resource Protection Using Atomics

      • Afshin Amighi, Stefan Blom, Marieke Huisman
      Pages 255-274

    14. Resource Analysis of Complex Programs with Cost Equations

      • Antonio Flores-Montoya, Reiner Hähnle
      Pages 275-295

    15. Simple and Efficient Algorithms for Octagons

      • Aziem Chawdhary, Ed Robbins, Andy King
      Pages 296-313

    16. Compositional Entailment Checking for a Fragment of Separation Logic

      • Constantin Enea, Ondřej Lengál, Mihaela Sighireanu, Tomáš Vojnar
      Pages 314-333

    17. Automatic Constrained Rewriting Induction towards Verifying Procedural Programs

      • Cynthia Kop, Naoki Nishida
      Pages 334-353

    18. A ZDD-Based Efficient Higher-Order Model Checking Algorithm

      • Taku Terao, Naoki Kobayashi
      Pages 354-371
Back to top

Other volumes

  1. Programming Languages and Systems

Editors and Affiliations

  • Graduate School of Mathematics, Nagoya University, Chikusa-ku, Nagoya, Japan

    Jacques Garrigue

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation