A Aralex Aachen research explorer

July 04, 2004 conference-paper

Automatic Generation of Polynomial Loop Invariants

International Symposium on Symbolic and Algebraic Computation

DOI: 10.1145/1005285.1005324 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 111

Termination of triangular polynomial loops
2023 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

8

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

7

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

7

citations
Polynomial Loops: Beyond Termination
2020 EPiC series in computing conference-paper Computer Science Logic, programming, and type systems Open access

13

citations
Termination of Polynomial Loops
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

12

citations

5 results

References 0