Buchumschlag

Causality and Semantic Separation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Anna, Luo, Qinglan, Bielicke, London, Jun, Eunice, Chlipala, Adam
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

PLanet: Formalizing and Analyzing Assignment Procedures in the Design of Experiments
von: Bielicke, London, et al.
Veröffentlicht: (2025)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
von: Conoly, Owen, et al.
Veröffentlicht: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
von: Gross, Jason, et al.
Veröffentlicht: (2023)

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

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

Separating Sessions Smoothly
von: Fowler, Simon, et al.
Veröffentlicht: (2021)

Context-Aware Separation Logic
von: Meyer, Roland, et al.
Veröffentlicht: (2023)

FlowBook: Enforcing Reproducibility in Computational Notebooks
von: Freund, Stephen N., et al.
Veröffentlicht: (2026)

Hyper Separation Logic (extended version)
von: Gospodinov, Trayan, et al.
Veröffentlicht: (2026)

Verification Algorithms for Automated Separation Logic Verifiers
von: Eilers, Marco, et al.
Veröffentlicht: (2024)

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

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

AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning
von: Tan, Yan, et al.
Veröffentlicht: (2026)

Semantic foundations of equality saturation
von: Suciu, Dan, et al.
Veröffentlicht: (2025)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2024)

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)

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

Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
von: Ling, Hongyi, et al.
Veröffentlicht: (2026)

Causal-Consistent Reversible Debugging: Improving CauDEr
von: González-Abril, Juan José, et al.
Veröffentlicht: (2024)

Persistent Iterators with Value Semantics
von: Li, Yihe, et al.
Veröffentlicht: (2026)

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

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)

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)

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)

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

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)

Flowco: Rethinking Data Analysis in the Age of LLMs
von: Freund, Stephen N., et al.
Veröffentlicht: (2025)