Buchumschlag

Beyond Cons: Purely Relational Data Structures

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sanna, Rafaello, Byrd, William E., Amin, Nada
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

Tail Modulo Cons, OCaml, and Relational Separation Logic
von: Allain, Clément, et al.
Veröffentlicht: (2024)

dafny-annotator: AI-Assisted Verification of Dafny Programs
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

Compiling to recurrent neurons
von: Velez-Ginorio, Joey, et al.
Veröffentlicht: (2025)

Compiling to linear neurons
von: Velez-Ginorio, Joey, et al.
Veröffentlicht: (2025)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
von: Hinnerskov, Nikolaj Hey, et al.
Veröffentlicht: (2025)

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
von: Brandfonbrener, David, et al.
Veröffentlicht: (2024)

Logical Relations for Formally Verified Authenticated Data Structures
von: Gregersen, Simon Oddershede, et al.
Veröffentlicht: (2025)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
von: Mutlu, Doruk Alp
Veröffentlicht: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
von: Smith, Scott, et al.
Veröffentlicht: (2023)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
von: Matsushita, Yusuke, et al.
Veröffentlicht: (2026)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
von: Bagrel, Thomas, et al.
Veröffentlicht: (2025)

Querying Graph-Relational Data
von: Sullivan, Michael J., et al.
Veröffentlicht: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

Rel: A Programming Language for Relational Data
von: Aref, Molham, et al.
Veröffentlicht: (2025)

Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications
von: Kouteili, Sam Nicholas, et al.
Veröffentlicht: (2026)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
von: Liu, Shicheng, et al.
Veröffentlicht: (2023)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
von: Goldstein, Oliver, et al.
Veröffentlicht: (2025)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
von: Makor, Lukas, et al.
Veröffentlicht: (2025)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
von: Tunç, Hünkar Can, et al.
Veröffentlicht: (2024)

Guided Sketch-Based Program Induction by Search Gradients
von: Amin, Ahmad Ayaz
Veröffentlicht: (2024)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
von: Yu, Hao, et al.
Veröffentlicht: (2025)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
von: Xu, Yichen, et al.
Veröffentlicht: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

Relational Programming with Foundation Models
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
von: Chen, Yijia, et al.
Veröffentlicht: (2024)

Performant Dynamically Typed E-Graphs in Pure Julia
von: Cheli, Alessandro, et al.
Veröffentlicht: (2024)

Natural Language-Oriented Programming (NLOP): Towards Democratizing Software Creation
von: Beheshti, Amin
Veröffentlicht: (2024)

Automatic Inference of Relational Object Invariants
von: Su, Yusen, et al.
Veröffentlicht: (2024)

Logical Relations for Session-Typed Concurrency
von: Balzer, Stephanie, et al.
Veröffentlicht: (2023)

Modeling Reachability Types with Logical Relations
von: Bao, Yuyan, et al.
Veröffentlicht: (2023)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
von: Abad, Kyriel, et al.
Veröffentlicht: (2024)

Graphiti: Bridging Graph and Relational Database Queries
von: He, Yang, et al.
Veröffentlicht: (2025)

The Program Hypergraph: Multi-Way Relational Structure for Geometric Algebra, Spatial Compute, and Physics-Aware Compilation
von: Haynes, Houston
Veröffentlicht: (2026)

Hybrid Structured Editing: Structures for Tools, Text for Users
von: Beckmann, Tom, et al.
Veröffentlicht: (2026)

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

Modeling Layout Abstractions Using Integer Set Relations
von: Bhaskaracharya, Somashekaracharya G, et al.
Veröffentlicht: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
von: Zhang, Yihong, et al.
Veröffentlicht: (2025)

A Relational Solver for Constraint-based Type Inference
von: Domoratskiy, Eridan, et al.
Veröffentlicht: (2024)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
von: Verbitskaia, Ekaterina, et al.
Veröffentlicht: (2024)