Buchumschlag

A Denotational Semantics for Quantum Loops

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Assolini, Nicola, Di Pierro, Alessandra
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

Formal Verification of Variational Quantum Circuits
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Denotation-based Compositional Compiler Verification
von: Cheng, Zhang, et al.
Veröffentlicht: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Abstracting Denotational Interpreters
von: Graf, Sebastian, et al.
Veröffentlicht: (2024)

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

The Denotational Semantics of SSA
von: Ghalayini, Jad Elkhaleq, et al.
Veröffentlicht: (2024)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
von: Giovannini, Eric, et al.
Veröffentlicht: (2024)

Denotational reasoning for asynchronous multiparty session types
von: McDermott, Dylan, et al.
Veröffentlicht: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
von: Ghica, Dan R., et al.
Veröffentlicht: (2022)

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

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
von: Li, Tianchi, et al.
Veröffentlicht: (2026)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
von: Zhu, Kai, et al.
Veröffentlicht: (2024)

(Un)Solvable Loop Analysis
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2023)

Reversible Lifetime Semantics for Quantum Programs
von: Faro, Simone, et al.
Veröffentlicht: (2026)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
von: Moosbrugger, Marcel, et al.
Veröffentlicht: (2026)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
von: Liu, Chang, et al.
Veröffentlicht: (2023)

Series-Parallel-Loop Decompositions of Control-flow Graphs
von: Cai, Xuran, et al.
Veröffentlicht: (2026)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
von: Kumar, Ashish, et al.
Veröffentlicht: (2024)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
von: Chang, Fu-Chieh, et al.
Veröffentlicht: (2026)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
von: Wang, Mingxiu, et al.
Veröffentlicht: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
von: Lim, Sangho, et al.
Veröffentlicht: (2025)

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

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

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
von: Böck, Markus, et al.
Veröffentlicht: (2025)

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)

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

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

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
von: Zhu, Yifan, et al.
Veröffentlicht: (2026)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
von: Haase, Darion, et al.
Veröffentlicht: (2026)

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

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)

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