Programming languages and systems : 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, proceedings / Hakjoo Oh (ed.).
APLAS (Symposium) (19th : 2021 : Chicago, Ill.); Oh, Hakjoo, editor.
2021
QA76.7
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Programming languages and systems : 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, proceedings / Hakjoo Oh (ed.).
Meeting Name APLAS (Symposium) (19th : 2021 : Chicago, Ill.)
ISBN 9783030890513 (electronic bk.)
3030890511 (electronic bk.)
3030890503
9783030890506
DOI https://doi.org/10.1007/978-3-030-89051-3
Imprint Cham, Switzerland : Springer, 2021.
Language English
Description 1 online resource
Other Standard Identifiers 10.1007/978-3-030-89051-3 doi
Call Number QA76.7
Dewey Decimal Classification 005.13
Summary 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: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic.
Note Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 22, 2021).
Added Author Oh, Hakjoo, editor.
Series Lecture notes in computer science ; 13008.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Programming languages and systems.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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 Souffle 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.-

Browse Subjects

Show more subjects...

Statistics

from
to
Export