Q5020652 (Q5020652): Difference between revisions

@@ Property / describes a project that uses @@
+ARMC
@@ Property / describes a project that uses: ARMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quicksort
@@ Property / describes a project that uses: Quicksort / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+Analysis of Linear Hybrid Systems in CLP
@@ Property / cites work: Analysis of Linear Hybrid Systems in CLP / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Clause Solvers for Program Verification
@@ Property / cites work: Horn Clause Solvers for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751365
@@ Property / cites work: Q2751365 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Quicksort revisited. Verifying alternative versions of quicksort
+Normal rank
@@ Property / cites work @@
+Solving Horn Clauses on Inductive Data Types Without Induction
+Normal rank
@@ Property / cites work @@
+Removing algebraic data types from constrained Horn clauses using difference predicates
+Normal rank
@@ Property / cites work @@
+Transformations of CLP modules
@@ Property / cites work: Transformations of CLP modules / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a recursive program: Quicksort
@@ Property / cites work: Proof of a recursive program: Quicksort / rank @@
+Normal rank
@@ Property / cites work @@
+A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of Logic Programs
@@ Property / cites work: Derivation of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767047
@@ Property / cites work: Q2767047 / rank @@
+Normal rank
@@ Property / cites work @@
+A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
+Normal rank
@@ Property / cites work @@
+Synchronizing Constrained Horn Clauses
@@ Property / cites work: Synchronizing Constrained Horn Clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about algebraic data types with abstractions
+Normal rank
@@ Property / cites work @@
+Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
+Normal rank
@@ Property / cites work @@
+Induction for SMT Solvers
@@ Property / cites work: Induction for SMT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for algebraic data types with abstractions
+Normal rank
@@ Property / cites work @@
+Automating induction for solving Horn clauses
@@ Property / cites work: Automating induction for solving Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank