단행본 상세

서지주요정보
Programming Languages and Systems: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
서명 / 저자 Programming Languages and Systems [electronic resource] : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings / edited by Chung-Kil Hur.
저자명 Hur, Chung-Kil. editor. (orcid)0000-0002-1656-0913 https://orcid.org/0000-0002-1656-0913 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2023.
발행사항 Singapore : Springer Nature Singapore : Imprint: Springer, 2023.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 14405
Online Access https://doi.org/10.1007/978-98... URL

서지기타정보

서지기타정보
ISBN 9789819983117
기타 표준번호 10.1007/978-981-99-8311-7
청구기호 QA76.76.C65
형태사항 X, 333 p. 94 illus., 43 illus. in color. online resource.
언어 English
내용 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.
주제 Compilers (Computer programs).
Computer programming.
Computer science.
Artificial intelligence.
Compilers and Interpreters.
Programming Techniques.
Theory of Computation.
Artificial Intelligence.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9789819983100 Printed edition: 9789819983124
QR CODE