Buch, Englisch, Band 14577, 452 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 703 g
Programming Languages and Systems
2024
ISBN: 978-3-031-57266-1
Verlag: Springer Nature Switzerland
33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Buch, Englisch, Band 14577, 452 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 703 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-57266-1
Verlag: Springer Nature Switzerland
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Quantum Programming / Domain-Specific Languages.- Circuit Width Estimation via Effect Typing and Linear Dependency.- On the Hardness of Analyzing Quantum Programs Quantitatively.- Reconciling Partial and Local Invertibility.- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping.- Verification.- A Denotational Approach to Release/Acquire Concurrency.- Intel PMDK Transactions: Specification, Validation and Concurrency.- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency.- Verifying Persistent Libraries.- Hyperproperty Verification as CHC Satisfiability.- Program Analysis.- Maximal Quantified Precondition Synthesis for Linear Array Loops.- Verified Inlining and Specialisation for PureCake.- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.- Higher-Order LCTRSs andTheir Termination.- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture.- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law .