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
Publication Details
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource
Item Number
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