Image de couverture de livre

Modular Synthesis of Efficient Quantum Uncomputation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Venev, Hristo, Gehr, Timon, Dimitrov, Dimitar, Vechev, Martin
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages D.3.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
par: Hirata, Kengo, et autres
Publié: (2024)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
par: Mishra, Ashish, et autres
Publié: (2025)

Memory Consistency and Program Transformations
par: Gopalakrishnan, Akshay, et autres
Publié: (2024)

A Two-Phase Infinite/Finite Low-Level Memory Model
par: Beck, Calvin, et autres
Publié: (2024)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
par: Sano, Jin, et autres
Publié: (2025)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
par: Siek, Jeremy G.
Publié: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
par: Yang, Tengshun, et autres
Publié: (2024)

Semantics for 2D Rasterization
par: Kulkarni, Bhargav, et autres
Publié: (2026)

On Modular Termination Proofs of General Logic Programs
par: Bossi, Annalisa, et autres
Publié: (2000)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
par: Boyer, Matthieu Pierre
Publié: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
par: Zhou, Zhe, et autres
Publié: (2024)

Derivative-Guided Symbolic Execution
par: Yuan, Yongwei, et autres
Publié: (2024)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
par: Smith, Ian
Publié: (2024)

Globality and Regions
par: Gramaglia, Hector
Publié: (2025)

Homomorphism Calculus for User-Defined Aggregations
par: Wang, Ziteng, et autres
Publié: (2025)

Simple Modal Types for Functional Reactive Programming
par: Bahr, Patrick
Publié: (2025)

Practical Algebraic Stepping with Scoped Filters
par: Fei, Haoxiang, et autres
Publié: (2026)

Scoped and Typed Staging by Evaluation
par: Allais, Guillaume
Publié: (2023)

A Calculus of Inheritance
par: Yang, Bo
Publié: (2026)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
par: McCann, Alan L.
Publié: (2026)

Stratified Type Theory
par: Chan, Jonathan, et autres
Publié: (2023)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
par: Baier, Daniel, et autres
Publié: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
par: Ates, Salih, et autres
Publié: (2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods
par: Prasad, Siddhartha, et autres
Publié: (2024)

Explicit Weakening
par: Wadler, Philip
Publié: (2024)

Teaching Introductory Functional Programming Using Haskelite
par: Vasconcelos, Pedro
Publié: (2025)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
par: Vandeloise, Mikel
Publié: (2025)

Unified Fairness for Weak Memory Verification
par: Abdulla, Parosh Aziz, et autres
Publié: (2023)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
par: Xu, Qiyuan, et autres
Publié: (2024)

Abstracting Effect Systems for Algebraic Effect Handlers
par: Yoshioka, Takuma, et autres
Publié: (2024)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
par: Guerreiro, Miguel de Oliveira
Publié: (2025)

Conversational Concurrency
par: Garnock-Jones, Tony
Publié: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
par: Suwa, Takashi, et autres
Publié: (2026)

Weak Memory Model Formalisms: Introduction and Survey
par: Su, Roger C., et autres
Publié: (2025)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
par: Volkov, Dmitri
Publié: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
par: Volkov, Dmitri, et autres
Publié: (2025)

A formal specification of the jq language
par: Färber, Michael
Publié: (2024)

Towards Cumulative Abstract Semantics via Handlers
par: Lueker, Cade, et autres
Publié: (2025)