Programming Languages and Systems [E-Book] : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings / edited by Hakjoo Oh.
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named:...
Saved in:
Full text |
|
Personal Name(s): | Oh, Hakjoo, editor |
Edition: |
1st edition 2021. |
Imprint: |
Cham :
Springer,
2021
|
Physical Description: |
XIV, 321 pages 111 illustrations, 55 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783030890513 |
DOI: |
10.1007/978-3-030-89051-3 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Programming and Software Engineering ;
13008 /* Depending on the record driver, $field may either be an array with "name" and "number" keys or a flat string containing only the series name. We should account for both cases to maximize compatibility. */?> Lecture Notes in Computer Science |
Subject (LOC): |
- Analysis and Synthesis
- Scalable and Modular Robustness Analysis of Deep Neural Networks
- Function Pointer Eliminator for C Programs
- PyCT: A Python Concolic Tester
- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
- Server-Side Computation of Package Dependencies in Package-Management Systems
- Compilation and Transformation
- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
- A Dictionary-Passing Translation of Featherweight Go
- Hybrid quantum-classical circuit simplification with the ZX-calculus
- A compilation method for dynamic typing in ML
- Language Design
- The Choice Construct in the Soufflé Language
- Latent Effects for Reusable Language Components
- Adaptable Traces for Program Explanations
- A Typed Programmatic Interface to Contracts on the Blockchain
- Verification
- Simplifying of Alternating Automata for Emptiness Testing
- Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
- Proving LTL Properties of Bitvector Programs and Decompiled Binaries
- Solving Not-Substring Constraint with Flat Abstraction.-.