:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kudasov, Nikolai, Shakirova, Renata, Shalagin, Egor, Tyulebaeva, Karina
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2405.16384
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

Syntax Repair as Language Intersection
by: Considine, Breandan
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

Abstracting Denotational Interpreters
by: Graf, Sebastian, et al.
Published: (2024)

Abstract Environment Trimming
by: Jurjo-Rivas, Daniel, et al.
Published: (2024)

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

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

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

Abstracting Extensible Recursive Functions
by: Hubers, Alex, et al.
Published: (2024)

EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs
by: Pomian, Dorin, et al.
Published: (2024)

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

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

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

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

The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)

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

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

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

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

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

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

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

The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)

Range Algebra for Safe Array Splits
by: Perisic, Aleksandar
Published: (2014)

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