Programming Languages and Systems  21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings /  [electronic resource] : 
edited by Chung-Kil Hur. 
 - 1st ed. 2023. 
 - X, 333 p. 94 illus., 43 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  14405  1611-3349 ; .
 - Lecture Notes in Computer Science,  14405 .
<br/><br/>Types -- Compilation Semantics for a Programming Language with Versions -- What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study -- Types and Semantics for Extensible Data Types -- Functional Languages -- A Diamond Machine for Strong Evaluation -- Proofs as Terms, Terms as Graphs -- Typed Non-determinism in Functional and Concurrent Calculi -- Interactive Theorem Proving -- A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists -- Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions -- Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq -- Verification -- Towards a Framework for Developing Verified Assemblers for the ELF Format -- Transport via Partial Galois Connections and Equivalences -- Argument Reduction of Constrained Horn Clauses Using Equality Constraints -- Static Analysis and Testing -- Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection -- m-CFA Exhibits Perfect Stack Precision -- TorchProbe: Fuzzing Dynamic Deep Learning Compilers. 
<br/><br/> This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023. The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation. 
<br/><br/><label>ISBN: </label>9789819983117 
<br/><br/><label>Standard No.: </label>10.1007/978-981-99-8311-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs).<br/>Computer programming.<br/>Computer science.<br/>Artificial intelligence.<br/>Compilers and Interpreters.<br/>Programming Techniques.<br/>Theory of Computation.<br/>Artificial Intelligence.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.45