Copertina

Abstract Environment Trimming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jurjo-Rivas, Daniel, Morales, Jose F., López-García, Pedro, Hermenegildo, Manuel V.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
di: Ferreiro, Daniela, et al.
Pubblicazione: (2026)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
di: Ciccalè, Marco, et al.
Pubblicazione: (2025)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
di: Rustenholz, Louis, et al.
Pubblicazione: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
di: Ferreiro, Daniela, et al.
Pubblicazione: (2025)

Abstractions of Sequences, Functions and Operators
di: Rustenholz, Louis, et al.
Pubblicazione: (2025)

The ART of Sharing Points-to Analysis (Extended Abstract)
di: Halalingaiah, Shashin, et al.
Pubblicazione: (2024)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
di: Song, Yewei, et al.
Pubblicazione: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
di: Gomber, Shaurya, et al.
Pubblicazione: (2025)

Abstracting Denotational Interpreters
di: Graf, Sebastian, et al.
Pubblicazione: (2024)

Cost Analysis for Import and Export Using an Abstract Machine
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2024)

Abstracting Extensible Recursive Functions
di: Hubers, Alex, et al.
Pubblicazione: (2024)

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

The Session Abstract Machine (Extended Version)
di: Caires, Luís, et al.
Pubblicazione: (2024)

Correctness Witness Validation by Abstract Interpretation
di: Saan, Simmo, et al.
Pubblicazione: (2023)

Synthesizing Abstract Transformers for Reduced-Product Domains
di: Kalita, Pankaj Kumar, et al.
Pubblicazione: (2024)

Optimal Program Synthesis via Abstract Interpretation
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Abstract Interpretation-Based Data Leakage Static Analysis
di: Drobnjaković, Filip, et al.
Pubblicazione: (2022)

The Quantum Abstract Machine
di: Li, Liyi, et al.
Pubblicazione: (2024)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
di: Nicola, Mihai, et al.
Pubblicazione: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
di: Kudasov, Nikolai, et al.
Pubblicazione: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
di: Lee, Jay
Pubblicazione: (2025)

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

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
di: Dong, Rui, et al.
Pubblicazione: (2026)

Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

Parameterized Hardware Design with Latency-Abstract Interfaces
di: Nigam, Rachit, et al.
Pubblicazione: (2024)

Cost-Driven Synthesis of Sound Abstract Interpreters
di: Gu, Qiuhan, et al.
Pubblicazione: (2025)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)

Productive Quantum Programming Needs Better Abstract Machines
di: Núñez-Corrales, Santiago, et al.
Pubblicazione: (2025)

An Abstract Domain for Heap Commutativity (Extended Version)
di: Pincus, Jared, et al.
Pubblicazione: (2024)

Runtime Verification on Abstract Finite State Models
di: Jevitha, KP, et al.
Pubblicazione: (2024)

Abstract Operational Methods for Call-by-Push-Value
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
di: Schwarz, Michael, et al.
Pubblicazione: (2025)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

Implementing Binary Search Trees in GP 2 (Extended Abstract)
di: Alaoui, Ziad Ismaili, et al.
Pubblicazione: (2026)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
di: Rustenholz, Louis, et al.
Pubblicazione: (2024)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
di: Biernacka, Małgorzata, et al.
Pubblicazione: (2026)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2025)