SpringerLink
Log in

Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Chung-Kil Hur

    1. Seoul National University, Seoul, Korea (Republic of)

    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 14405)

Included in the following conference series:

Conference proceedings info: APLAS 2023.

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

Access this book

Log in via an institution
eBook EUR 50.28
Price includes VAT (France)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 63.29
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** 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 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.



The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.

Keywords

Table of contents (15 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Types

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Compilation Semantics for a Programming Language with Versions

      • Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
      Pages 3-23Open Access

    3. What Types Are Needed for Ty** Dynamic Objects? A Python-Based Empirical Study

      • Ke Sun, Sheng Chen, Meng Wang, Dan Hao
      Pages 24-45

    4. Types and Semantics for Extensible Data Types

      • Cas van der Rest, Casper Bach Poulsen
      Pages 46-66

  3. Functional Languages

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. A Diamond Machine for Strong Evaluation

      • Beniamino Accattoli, Pablo Barenbaum
      Pages 69-90

    3. Proofs as Terms, Terms as Graphs

      • Jui-Hsuan Wu
      Pages 91-111

    4. Typed Non-determinism in Functional and Concurrent Calculi

      • Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
      Pages 112-132

  4. Interactive Theorem Proving

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists

      • Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters
      Pages 135-154

    3. Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

      • Yannick Forster, Dominik Kirst, Niklas Mück
      Pages 155-181

    4. Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq

      • Ayumu Saito, Reynald Affeldt
      Pages 182-202

  5. Verification

    1. Front Matter

      Pages 203-203
      Download chapter PDF

    2. Towards a Framework for Develo** Verified Assemblers for the ELF Format

      • **hua Wu, Yuting Wang, Meng Sun, **angzhe Xu, Yichen Song
      Pages 205-224Open Access

    3. Transport via Partial Galois Connections and Equivalences

      • Kevin Kappelmann
      Pages 225-245

    4. Argument Reduction of Constrained Horn Clauses Using Equality Constraints

      • Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi
      Pages 246-265

  6. Static Analysis and Testing

    1. Front Matter

      Pages 267-267
      Download chapter PDF

    2. Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection

      • Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
      Pages 269-289

    3. m-CFA Exhibits Perfect Stack Precision

      • Kimball Germane
      Pages 290-309
Back to top

Other volumes

  1. Programming Languages and Systems

Editors and Affiliations

  • Seoul National University, Seoul, Korea (Republic of)

    Chung-Kil Hur

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation