Buchumschlag

Declassification Policy for Program Complexity Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hainry, Emmanuel, Kapron, Bruce M., Marion, Jean-Yves, Péchoux, Romain
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Complete and tractable machine-independent characterizations of second-order polytime
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2022)

Expectation-based Analysis of Higher-Order Quantum Programs
von: Avanzini, Martin, et al.
Veröffentlicht: (2025)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Quantum Programming in Polylogarithmic Time
von: Ferrari, Florent, et al.
Veröffentlicht: (2025)

A programming language characterizing quantum polynomial time
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2022)

Branch Sequentialization in Quantum Polytime
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2024)

A feasible and unitary quantum programming language
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Quantum Control and General Recursion beyond the Unitary Case
von: Barsse, Kathleen, et al.
Veröffentlicht: (2025)

A programming language combining quantum and classical control
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Targeting Completeness: Automated Complexity Analysis of Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

Modular Automatic Complexity Analysis of Recursive Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2025)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
von: Lommen, Nils, et al.
Veröffentlicht: (2022)

Cyclic Implicit Complexity
von: Curzi, Gianluca, et al.
Veröffentlicht: (2021)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
von: Pshenitsyn, Tikhon
Veröffentlicht: (2023)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Programs as Singularities
von: Murfet, Daniel, et al.
Veröffentlicht: (2025)

Ultraproducts in abstract categorical logic
von: Aiguier, Marc, et al.
Veröffentlicht: (2024)

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
von: Emrich, Frank, et al.
Veröffentlicht: (2023)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
von: Atserias, Albert, et al.
Veröffentlicht: (2024)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Programs Versus Finite Tree-Programs
von: Moshkov, Mikhail
Veröffentlicht: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

Program Synthesis in Saturation
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

The Computational Complexity of Variational Inequalities and Applications in Game Theory
von: Kapron, Bruce M., et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Policies for Fair Exchanges of Resources
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

Extracting Policies from Quantified Answer Set Programs
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

The Complexity of HyperQPTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

Logic Programming with Multiplicative Structures
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Linear Programming in Isabelle/HOL
von: Parsert, Julian
Veröffentlicht: (2024)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)