Buchumschlag

Abstracting Denotational Interpreters

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Graf, Sebastian, Jones, Simon Peyton, Keidel, Sven
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Triemaps that match
von: Jones, Simon Peyton, et al.
Veröffentlicht: (2023)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Denotation-based Compositional Compiler Verification
von: Cheng, Zhang, et al.
Veröffentlicht: (2024)

A Denotational Semantics for Quantum Loops
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Denotational reasoning for asynchronous multiparty session types
von: McDermott, Dylan, et al.
Veröffentlicht: (2026)

Dual-Numbers Reverse AD for Functional Array Languages
von: Smeding, Tom, et al.
Veröffentlicht: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
von: Vákár, Matthijs
Veröffentlicht: (2020)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
von: Gomber, Shaurya, et al.
Veröffentlicht: (2025)

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
von: Giovannini, Eric, et al.
Veröffentlicht: (2024)

Correctness Witness Validation by Abstract Interpretation
von: Saan, Simmo, et al.
Veröffentlicht: (2023)

Optimal Program Synthesis via Abstract Interpretation
von: Mell, Stephen, et al.
Veröffentlicht: (2026)

The Denotational Semantics of SSA
von: Ghalayini, Jad Elkhaleq, et al.
Veröffentlicht: (2024)

Abstract Interpretation-Based Data Leakage Static Analysis
von: Drobnjaković, Filip, et al.
Veröffentlicht: (2022)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
von: Nicola, Mihai, et al.
Veröffentlicht: (2024)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
von: Lee, Jay
Veröffentlicht: (2025)

Cost-Driven Synthesis of Sound Abstract Interpreters
von: Gu, Qiuhan, et al.
Veröffentlicht: (2025)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
von: Ghica, Dan R., et al.
Veröffentlicht: (2022)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
von: Schwarz, Michael, et al.
Veröffentlicht: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
von: Mitchell, Jacqueline L., et al.
Veröffentlicht: (2025)

Context-Sensitive Abstract Interpretation of Dynamic Languages
von: Piszcz, Franciszek
Veröffentlicht: (2024)

Abstract Environment Trimming
von: Jurjo-Rivas, Daniel, et al.
Veröffentlicht: (2024)

Abstracting Extensible Recursive Functions
von: Hubers, Alex, et al.
Veröffentlicht: (2024)

The Session Abstract Machine (Extended Version)
von: Caires, Luís, et al.
Veröffentlicht: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
von: Kalita, Pankaj Kumar, et al.
Veröffentlicht: (2024)

The ART of Sharing Points-to Analysis (Extended Abstract)
von: Halalingaiah, Shashin, et al.
Veröffentlicht: (2024)

Cost Analysis for Import and Export Using an Abstract Machine
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

The Quantum Abstract Machine
von: Li, Liyi, et al.
Veröffentlicht: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
von: Peng, Xuanyu, et al.
Veröffentlicht: (2025)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2026)

Compiling the Mimosa programming language to RTOS tasks
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
von: Drab, Tomasz
Veröffentlicht: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
von: Dong, Rui, et al.
Veröffentlicht: (2026)