Buchumschlag

Persistent Iterators with Value Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Yihe, Duck, Gregory J.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Large Language Model Powered Symbolic Execution
von: Li, Yihe, et al.
Veröffentlicht: (2025)

Fully Randomized Pointers
von: Phaye, Sai Dhawal, et al.
Veröffentlicht: (2024)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
von: Zhang, Yansen, et al.
Veröffentlicht: (2025)

Cache Persistence Analysis: Finally Exact
von: Stock, Gregory, et al.
Veröffentlicht: (2019)

Persistent Amortised Analysis, Operationally
von: Lorenzen, Anton
Veröffentlicht: (2026)

Evolution Language Framework for Persistent Objects
von: Kamina, Tetsuo, et al.
Veröffentlicht: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
von: Ugare, Shubham, et al.
Veröffentlicht: (2024)

E-Graphs as a Persistent Compiler Abstraction
von: Merckx, Jules, et al.
Veröffentlicht: (2026)

Compilation as Multi-Language Semantics
von: Bowman, William J.
Veröffentlicht: (2025)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
von: Kahn, David M, et al.
Veröffentlicht: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
von: Vákár, Matthijs
Veröffentlicht: (2020)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
von: Chirica, Ion, et al.
Veröffentlicht: (2025)

Bentō: Optimizing Persistent Memory Programs
von: Amaro, Sebastião, et al.
Veröffentlicht: (2026)

Automated Insertion of Flushes and Fences for Persistency
von: Guo, Yutong, et al.
Veröffentlicht: (2025)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
von: Amtoft, Torben, et al.
Veröffentlicht: (2024)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

Causality and Semantic Separation
von: Zhang, Anna, et al.
Veröffentlicht: (2026)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

An Operational Semantics for Yul
von: Koutavas, Vasileios, et al.
Veröffentlicht: (2024)

Joint Distributions in Probabilistic Semantics
von: Kozen, Dexter, et al.
Veröffentlicht: (2023)

Semantic Subtyping for Maps in Erlang
von: Yildirim, Erdem, et al.
Veröffentlicht: (2025)

Verification of the Release-Acquire Semantics
von: Abdulla, Parosh, et al.
Veröffentlicht: (2025)

The Simulation Semantics of Synthesisable Verilog
von: Lööw, Andreas
Veröffentlicht: (2025)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
von: Johnson, Keith J. C., et al.
Veröffentlicht: (2024)

Effects and Coeffects in Call-By-Push-Value (Extended Version)
von: Torczon, Cassia, et al.
Veröffentlicht: (2023)

The Parallel Semantics Program Dependence Graph
von: Homerding, Brian, et al.
Veröffentlicht: (2024)

Semantic-Type-Guided Bug Finding
von: Qian, Kelvin, et al.
Veröffentlicht: (2024)

Coverage Semantics for Dependent Pattern Matching
von: Eremondi, Joseph, et al.
Veröffentlicht: (2025)

Membership Testing for Semantic Regular Expressions
von: Huang, Yifei, et al.
Veröffentlicht: (2024)

A Denotational Semantics for Quantum Loops
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

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

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
von: Xia, Li-yao, et al.
Veröffentlicht: (2024)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
von: Klimis, Vasileios, et al.
Veröffentlicht: (2024)

Semantically Separating Nominal Wyvern for Usability and Decidability
von: Zhu, Yu Xiang, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

A Refined Operational Semantics for FreeCHR
von: Rechenberger, Sascha, et al.
Veröffentlicht: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
von: Devriese, Dominique, et al.
Veröffentlicht: (2020)

Critical Semantic Properties of Music Notation Datasets
von: Lepper, Markus, et al.
Veröffentlicht: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
von: Zhao, Jianhong, et al.
Veröffentlicht: (2025)

Actegories, Copowers, and Higher-Order Message Passing Semantics
von: Cockett, Robin, et al.
Veröffentlicht: (2025)