Buchumschlag

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lee, Jay
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Abstracting Denotational Interpreters
von: Graf, Sebastian, et al.
Veröffentlicht: (2024)

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

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)

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

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

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

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

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
von: Kırmemiş, Oğuzcan, et al.
Veröffentlicht: (2024)

NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
von: Li, Shangkun, et al.
Veröffentlicht: (2026)

Partial Evaluation, Whole-Program Compilation
von: Fallin, Chris, et al.
Veröffentlicht: (2024)

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

Inversion by Partial Evaluation: A Reversible Interpreter Experiment
von: Glück, Robert, et al.
Veröffentlicht: (2024)

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

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
von: Song, Yewei, et al.
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)

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

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

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
von: Gould, Chester J. F., et al.
Veröffentlicht: (2025)

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

Program Synthesis from Partial Traces
von: Ferreira, Margarida, et al.
Veröffentlicht: (2025)

React-tRace: A Semantics for Understanding React Hooks
von: Lee, Jay, 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)

A Brief Overview of the Pawns Programming Language
von: Naish, Lee
Veröffentlicht: (2024)

Lenses for Partially-Specified States (Extended Version)
von: Matsuda, Kazutaka, et al.
Veröffentlicht: (2026)

Partial Reductions for Kleene Algebra with Linear Hypotheses
von: Chung, Liam, et al.
Veröffentlicht: (2026)

Sequence-Based Abstract Interpretation of Prolog
von: Charlier, Baudouin Le, et al.
Veröffentlicht: (2000)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2025)

Debugging Functional Programs by Interpretation
von: Whitington, John
Veröffentlicht: (2024)

Positive Sharing and Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

Parameterized Hardware Design with Latency-Abstract Interfaces
von: Nigam, Rachit, et al.
Veröffentlicht: (2024)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
von: Cai, Xuran, et al.
Veröffentlicht: (2026)