Imagen de Portada

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kudasov, Nikolai, Shakirova, Renata, Shalagin, Egor, Tyulebaeva, Karina
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
por: Kudasov, Nikolai, et al.
Publicado: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
por: Kudasov, Nikolai
Publicado: (2022)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
por: Abounegm, Abdelrahman, et al.
Publicado: (2024)

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

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

Syntax Repair as Language Intersection
por: Considine, Breandan
Publicado: (2025)

Invertible Syntax without the Tuples (Functional Pearl)
por: Boespflug, Mathieu, et al.
Publicado: (2025)

Contextual MetaML: Syntax and Full Abstraction
por: Yin, Haoxuan, et al.
Publicado: (2026)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
por: Khan, M Zafir Sadik, et al.
Publicado: (2025)

Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories
por: Matthes, Ralph, et al.
Publicado: (2023)

Syntax-Guided Automated Program Repair for Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
por: Deng, Haotian, et al.
Publicado: (2025)

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

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
por: Feng, Qiong, et al.
Publicado: (2026)

Abstracting Denotational Interpreters
por: Graf, Sebastian, et al.
Publicado: (2024)

Abstract Environment Trimming
por: Jurjo-Rivas, Daniel, et al.
Publicado: (2024)

Syntax and Semantics of Linear Dependent Types
por: Vákár, Matthijs
Publicado: (2014)

Unsafe Impedance: Safe Languages and Safe by Design Software
por: Barney, Lee, et al.
Publicado: (2024)

Rebound: Efficient, Expressive, and Well-Scoped Binding
por: De Santo, Noé, et al.
Publicado: (2025)

Abstracting Extensible Recursive Functions
por: Hubers, Alex, et al.
Publicado: (2024)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
por: Braunsdorf, Oliver, et al.
Publicado: (2025)

Safe and usable kernel extensions with Rex
por: Jia, Jinghao, et al.
Publicado: (2025)

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

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

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

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

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

Handling Scope Checks (Extended Version)
por: Lee, Michael, et al.
Publicado: (2026)

A Calculus for Scoped Effects & Handlers
por: Bosman, Roger, et al.
Publicado: (2023)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
por: Heris, Mostapha Kalami
Publicado: (2025)

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

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

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

The Quantum Abstract Machine
por: Li, Liyi, et al.
Publicado: (2024)

Range Algebra for Safe Array Splits
por: Perisic, Aleksandar
Publicado: (2014)

From Semantics to Syntax: A Type Theory for Comprehension Categories
por: Najmaei, Niyousha, et al.
Publicado: (2025)

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

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

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