Ranking Functions for Linear-Constraint Loops (Q5501930): Difference between revisions

@@ Property / author @@
+Amir M. Ben-Amram
@@ Property / author: Amir M. Ben-Amram / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COSTA
@@ Property / describes a project that uses: COSTA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PolyLib
@@ Property / describes a project that uses: PolyLib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1983764301
@@ Property / OpenAlex ID: W1983764301 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4041
@@ Property / arXiv ID: 1208.4041 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form upper bounds in static cost analysis
@@ Property / cites work: Closed-form upper bounds in static cost analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
+Normal rank
@@ Property / cites work @@
+An Improved Tight Closure Algorithm for Integer Octagonal Constraints
+Normal rank
@@ Property / cites work @@
+A new look at the automatic synthesis of linear ranking functions
+Normal rank
@@ Property / cites work @@
+Monotonicity Constraints for Termination in the Integer Domain
+Normal rank
@@ Property / cites work @@
+On the linear ranking problem for integer linear-constraint loops
+Normal rank
@@ Property / cites work @@
+On the Termination of Integer Loops
@@ Property / cites work: On the Termination of Integer Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Gap-Order Constraint Abstractions of Counter Systems
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Termination of Integer Linear Programs
@@ Property / cites work: Termination of Integer Linear Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804915
@@ Property / cites work: Q4804915 / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Function Synthesis for Bit-Vector Relations
+Normal rank
@@ Property / cites work @@
+Ramsey vs. Lexicographic Termination Proving
@@ Property / cites work: Ramsey vs. Lexicographic Termination Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Some efficient solutions to the affine scheduling problem. I: One- dimensional time
+Normal rank
@@ Property / cites work @@
+Some efficient solutions to the affine scheduling problem. II: Multidimensional time
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation for Termination
@@ Property / cites work: Alternation for Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Two-Dimensional Integer Hulls
@@ Property / cites work: Computing Two-Dimensional Integer Hulls / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Ranking for Linear Lasso Programs
@@ Property / cites work: Linear Ranking for Linear Lasso Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On Linear Characterizations of Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Loop Summarization and Termination Analysis
@@ Property / cites work: Loop Summarization and Termination Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic numeric abstractions for heap-manipulating programs
+Normal rank
@@ Property / cites work @@
+Recurrence with affine level mappings is P-time decidable for CLP
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Transition Invariants and Transition Predicate Abstraction for Program Termination
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs
+Normal rank
@@ Property / cites work @@
+A LIBRARY FOR DOING POLYHEDRAL OPERATIONS
@@ Property / cites work: A LIBRARY FOR DOING POLYHEDRAL OPERATIONS / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5501930