Programming languages and systems : 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings

Programming languages and systems 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings

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 D...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: APLAS (VerfasserIn)
Weitere Verfasser: Oh, Hakjoo (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham, Switzerland Springer 2021
Schriftenreihe:Lecture notes in computer science 13008
Schlagworte:
Konferenzschrift > Objektorientierte Programmierung > Mathematische Logik > Compiler
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Function Pointer Eliminator for C Programs 2021 Kimura, Daisuke
A Dictionary-Passing Translation of Featherweight Go 2021 Sulzmann, Martin
Termination Analysis for the z-Calculus by Reduction to Sequential Program Termination 2021 Shoshi, Tsubasa
Solving Not-Substring Constraint with Flat Abstraction 2021 Abdulla, Parosh Aziz
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus 2021 Borgna, Agustín
A Compilation Method for Dynamic Typing in ML 2021 Ohori, Atsushi
Adaptable Traces for Program Explanations 2021 Bajaj, Divya
A Typed Programmatic Interface to Contracts on the Blockchain 2021 Doan, Thi Thu Ha
Proving LTL Properties of Bitvector Programs and Decompiled Binaries 2021 Liu, Yuandong Cyrus
Scalable and Modular Robustness Analysis of Deep Neural Networks 2021 Zhong, Yuyi
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications 2021 Choi, Wonhyuk
PyCT: A Python Concolic Tester 2021 Chen, Yu-Fang
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 2021 Abate, Carmine
Simplifying Alternating Automata for Emptiness Testing 2021 Vargovčik, Pavol
Server-Side Computation of Package Dependencies in Package-Management Systems 2021 Kasai, Nobuhiro
The Choice Construct in the Souffle Language 2021 Hu, Xiaowen
Latent Effects for Reusable Language Components 2021 Berg, Birthe van den
Alle Artikel auflisten