Buchumschlag

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lommen, Nils, Meyer, Fabian, Giesl, Jürgen
Format:	Preprint
Veröffentlicht:	2022
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

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

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

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2023)

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

On Deciding Constant Runtime of Linear Loops
von: Frohn, Florian, et al.
Veröffentlicht: (2026)

Termination of Triangular Polynomial Loops
von: Hark, Marcel, et al.
Veröffentlicht: (2019)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Accelerating Loops with Arrays
von: Frohn, Florian, et al.
Veröffentlicht: (2026)

Integrating Loop Acceleration into Bounded Model Checking
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

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

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming
von: Castro, Pablo F.
Veröffentlicht: (2026)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
von: Baader, Franz, et al.
Veröffentlicht: (2024)

Infinite State Model Checking by Learning Transitive Relations
von: Frohn, Florian, et al.
Veröffentlicht: (2025)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2025)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Optimization Modulo Integer Linear-Exponential Programs
von: Hitarth, S, et al.
Veröffentlicht: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2026)

A Dependency Pair Framework for Relative Termination of Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Specification and Automatic Verification of Computational Reductions
von: Grange, Julien, et al.
Veröffentlicht: (2024)

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

Declassification Policy for Program Complexity Analysis
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
von: Habermehl, Peter, et al.
Veröffentlicht: (2024)

Termination of Real Linear Loops
von: Neumann, Eike, et al.
Veröffentlicht: (2026)

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
von: Nakamura, Yoshiki
Veröffentlicht: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

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

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

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

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
von: Lipparini, Enrico, et al.
Veröffentlicht: (2025)

Linear Loop Synthesis for Quadratic Invariants
von: Hitarth, S., et al.
Veröffentlicht: (2023)