Image de couverture de livre

Abstracting Denotational Interpreters

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Graf, Sebastian, Jones, Simon Peyton, Keidel, Sven
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Triemaps that match
par: Jones, Simon Peyton, et autres
Publié: (2023)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
par: Näumann, Julius, et autres
Publié: (2026)

Wiring the Pi-calculus to Denotational Semantics
par: Sakayori, Ken, et autres
Publié: (2026)

Denotation-based Compositional Compiler Verification
par: Cheng, Zhang, et autres
Publié: (2024)

A Denotational Semantics for Quantum Loops
par: Assolini, Nicola, et autres
Publié: (2025)

Denotational reasoning for asynchronous multiparty session types
par: McDermott, Dylan, et autres
Publié: (2026)

Dual-Numbers Reverse AD for Functional Array Languages
par: Smeding, Tom, et autres
Publié: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
par: Vákár, Matthijs
Publié: (2020)

Denotational Foundations for Expected Cost Analysis
par: de Amorim, Pedro H. Azevedo
Publié: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
par: Gomber, Shaurya, et autres
Publié: (2025)

A Coq Library of Sets for Teaching Denotational Semantics
par: Cao, Qinxiang, et autres
Publié: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
par: Goncharov, Sergey, et autres
Publié: (2026)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
par: Giovannini, Eric, et autres
Publié: (2024)

Correctness Witness Validation by Abstract Interpretation
par: Saan, Simmo, et autres
Publié: (2023)

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

The Denotational Semantics of SSA
par: Ghalayini, Jad Elkhaleq, et autres
Publié: (2024)

Abstract Interpretation-Based Data Leakage Static Analysis
par: Drobnjaković, Filip, et autres
Publié: (2022)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
par: Nicola, Mihai, et autres
Publié: (2024)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
par: Lee, Jay
Publié: (2025)

Cost-Driven Synthesis of Sound Abstract Interpreters
par: Gu, Qiuhan, et autres
Publié: (2025)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
par: Ghica, Dan R., et autres
Publié: (2022)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
par: Schwarz, Michael, et autres
Publié: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
par: Mitchell, Jacqueline L., et autres
Publié: (2025)

Context-Sensitive Abstract Interpretation of Dynamic Languages
par: Piszcz, Franciszek
Publié: (2024)

Abstract Environment Trimming
par: Jurjo-Rivas, Daniel, et autres
Publié: (2024)

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

The Session Abstract Machine (Extended Version)
par: Caires, Luís, et autres
Publié: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
par: Kalita, Pankaj Kumar, et autres
Publié: (2024)

The ART of Sharing Points-to Analysis (Extended Abstract)
par: Halalingaiah, Shashin, et autres
Publié: (2024)

Cost Analysis for Import and Export Using an Abstract Machine
par: Bennetzen, Benjamin, et autres
Publié: (2024)

The Quantum Abstract Machine
par: Li, Liyi, et autres
Publié: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
par: Kudasov, Nikolai, et autres
Publié: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
par: Peng, Xuanyu, et autres
Publié: (2025)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
par: Ferreiro, Daniela, et autres
Publié: (2026)

Compiling the Mimosa programming language to RTOS tasks
par: Huber, Nikolaus, et autres
Publié: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
par: Huber, Nikolaus, et autres
Publié: (2025)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
par: Drab, Tomasz
Publié: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
par: Dong, Rui, et autres
Publié: (2026)