Copertina

Cost Analysis for Import and Export Using an Abstract Machine

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bennetzen, Benjamin, Kleist, Daniel Vang, Steinmann, Emilie Sonne, Walsted, Loke, Kristensen, Nikolaj Rossander, Steffensen, Peter Buus
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

A Type System to Ensure Non-Interference in ReScript
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2024)

Encoding call-by-push-value in the pi-calculus
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2025)

A generalised editor calculus (Short Paper)
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2025)

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

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

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

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

Abstract Environment Trimming
di: Jurjo-Rivas, Daniel, et al.
Pubblicazione: (2024)

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

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

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

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

An Iris for Expected Cost Analysis
di: Lohse, Janine, 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)

Automated Expected Cost Analysis for Quantum Programs
di: Moser, Georg, et al.
Pubblicazione: (2026)

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

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

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

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

Macaw: A Machine Code Toolbox for the Busy Binary Analyst
di: Scott, Ryan G., et al.
Pubblicazione: (2024)

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)

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

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)

Establishing tool support for a concept DSL
di: Jakobsen, Nikolaj Kühne
Pubblicazione: (2025)

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)

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)

Denotational Foundations for Expected Cost Analysis
di: de Amorim, Pedro H. Azevedo
Pubblicazione: (2024)

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

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
di: Xia, Li-yao, 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)

KestRel: Relational Verification Using E-Graphs for Program Alignment
di: Dickerson, Robert, et al.
Pubblicazione: (2024)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
di: Seidel, Raphael, et al.
Pubblicazione: (2024)

Efficient Cost Bounds with Linear Maps
di: Kahn, David M, et al.
Pubblicazione: (2025)

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

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

AutoChip: Automating HDL Generation Using LLM Feedback
di: Thakur, Shailja, et al.
Pubblicazione: (2023)