Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

  • Bor-Yuh Evan Chang
Conference proceedings APLAS 2017

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10695)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Invited Contributions

    1. Front Matter
      Pages 1-1
    2. Sumit Gulwani, Prateek Jain
      Pages 3-20
    3. Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
      Pages 21-41
  3. Security

    1. Front Matter
      Pages 43-43
    2. Ian J. Hayes, Xi Wu, Larissa A. Meinicke
      Pages 67-84
    3. Serdar Erbatur, Martin Hofmann, Eugen Zălinescu
      Pages 85-104
    4. Neline van Ginkel, Raoul Strackx, Frank Piessens
      Pages 105-123
  4. Heap and Equivalence Reasoning

    1. Front Matter
      Pages 125-125
    2. Manjeet Dahiya, Sorav Bansal
      Pages 127-147
    3. Yoonseok Ko, Xavier Rival, Sukyoung Ryu
      Pages 148-168
    4. Daisuke Kimura, Makoto Tatsuta
      Pages 169-189
    5. Qinxiang Cao, Santiago Cuellar, Andrew W. Appel
      Pages 190-211
  5. Concurrency and Verification

    1. Front Matter
      Pages 213-213
    2. Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
      Pages 215-234
    3. Tobias Nipkow
      Pages 255-272
    4. Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao
      Pages 273-297
  6. Domain-Specific Languages

    1. Front Matter
      Pages 299-299

About these proceedings

Introduction

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.

The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. 

Keywords

computer architecture concurrency and parallelism design of languages domain-specific languages formal logic foundational calculi logics model-checking program analysis program compilers program derivation program synthesis program transformation programming languages semantics software engineering software security type systems verification

Editors and affiliations

  • Bor-Yuh Evan Chang
    • 1
  1. 1.University of ColoradoBoulderUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-71237-6
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-71236-9
  • Online ISBN 978-3-319-71237-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book