Cover Image

Persistent Iterators with Value Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Yihe, Duck, Gregory J.
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Large Language Model Powered Symbolic Execution
by: Li, Yihe, et al.
Published: (2025)

Fully Randomized Pointers
by: Phaye, Sai Dhawal, et al.
Published: (2024)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
by: Zhang, Yansen, et al.
Published: (2025)

Cache Persistence Analysis: Finally Exact
by: Stock, Gregory, et al.
Published: (2019)

Persistent Amortised Analysis, Operationally
by: Lorenzen, Anton
Published: (2026)

Evolution Language Framework for Persistent Objects
by: Kamina, Tetsuo, et al.
Published: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
by: Ugare, Shubham, et al.
Published: (2024)

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
by: Vákár, Matthijs
Published: (2020)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
by: Chirica, Ion, et al.
Published: (2025)

Bentō: Optimizing Persistent Memory Programs
by: Amaro, Sebastião, et al.
Published: (2026)

Automated Insertion of Flushes and Fences for Persistency
by: Guo, Yutong, et al.
Published: (2025)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
by: Amtoft, Torben, et al.
Published: (2024)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

Causality and Semantic Separation
by: Zhang, Anna, et al.
Published: (2026)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

An Operational Semantics for Yul
by: Koutavas, Vasileios, et al.
Published: (2024)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Semantic Subtyping for Maps in Erlang
by: Yildirim, Erdem, et al.
Published: (2025)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

The Simulation Semantics of Synthesisable Verilog
by: Lööw, Andreas
Published: (2025)

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

Effects and Coeffects in Call-By-Push-Value (Extended Version)
by: Torczon, Cassia, et al.
Published: (2023)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

Membership Testing for Semantic Regular Expressions
by: Huang, Yifei, et al.
Published: (2024)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

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

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

Semantically Separating Nominal Wyvern for Usability and Decidability
by: Zhu, Yu Xiang, et al.
Published: (2025)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)

Critical Semantic Properties of Music Notation Datasets
by: Lepper, Markus, et al.
Published: (2024)

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

Actegories, Copowers, and Higher-Order Message Passing Semantics
by: Cockett, Robin, et al.
Published: (2025)