default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2023, Taipei, Taiwan
- Chung-Kil Hur
:
Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings. Lecture Notes in Computer Science 14405, Springer 2023, ISBN 978-981-99-8310-0
Types
- Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara:
Compilation Semantics for a Programming Language with Versions. 3-23 - Ke Sun, Sheng Chen, Meng Wang, Dan Hao:
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. 24-45 - Cas van der Rest, Casper Bach Poulsen:
Types and Semantics for Extensible Data Types. 46-66
Functional Languages
- Beniamino Accattoli, Pablo Barenbaum:
A Diamond Machine for Strong Evaluation. 69-90 - Jui-Hsuan Wu:
Proofs as Terms, Terms as Graphs. 91-111 - Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Typed Non-determinism in Functional and Concurrent Calculi. 112-132
Interactive Theorem Proving
- Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters:
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. 135-154 - Yannick Forster, Dominik Kirst, Niklas Mück:
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. 155-181 - Ayumu Saito, Reynald Affeldt:
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq. 182-202
Verification
- Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song:
Towards a Framework for Developing Verified Assemblers for the ELF Format. 205-224 - Kevin Kappelmann:
Transport via Partial Galois Connections and Equivalences. 225-245 - Ryo Ikeda, Ryosuke Sato, Naoki Kobayashi:
Argument Reduction of Constrained Horn Clauses Using Equality Constraints. 246-265
Static Analysis and Testing
- Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin:
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. 269-289 - Kimball Germane:
m-CFA Exhibits Perfect Stack Precision. 290-309 - Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si:
TorchProbe: Fuzzing Dynamic Deep Learning Compilers. 310-331
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
