A versatile concept for the analysis of loops (Q444373): Difference between revisions

@@ Property / author @@
-Ali Milli
@@ Property / author: Ali Milli / rank @@
-Normal rank
@@ Property / author @@
+Ali Milli
@@ Property / author: Ali Milli / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065689
@@ Property / zbMATH DE Number: 6065689 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+invariant relation
@@ Property / zbMATH Keywords: invariant relation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+invariant assertion
@@ Property / zbMATH Keywords: invariant assertion / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+invariant function
@@ Property / zbMATH Keywords: invariant function / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weakest precondition
@@ Property / zbMATH Keywords: weakest precondition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+strongest postcondition
@@ Property / zbMATH Keywords: strongest postcondition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+while loop
@@ Property / zbMATH Keywords: while loop / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+termination condition
@@ Property / zbMATH Keywords: termination condition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+loop functions
@@ Property / zbMATH Keywords: loop functions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+loop semantics
@@ Property / zbMATH Keywords: loop semantics / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Daikon
@@ Property / describes a project that uses: Daikon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOOPUS
@@ Property / describes a project that uses: LOOPUS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FLATA
@@ Property / describes a project that uses: FLATA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2012.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2029961359
@@ Property / OpenAlex ID: W2029961359 / rank @@
+Normal rank
@@ Property / cites work @@
+On the lattice of specifications: Applications to a specification methodology
+Normal rank
@@ Property / cites work @@
+Q3504342
@@ Property / cites work: Q3504342 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Conditional Termination
@@ Property / cites work: Proving Conditional Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+The Daikon system for dynamic detection of likely invariants
+Normal rank
@@ Property / cites work @@
+Inferring Loop Invariants Using Postconditions
@@ Property / cites work: Inferring Loop Invariants Using Postconditions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+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 @@
+The verified software initiative
@@ Property / cites work: The verified software initiative / rank @@
+Normal rank
@@ Property / cites work @@
+Q3038593
@@ Property / cites work: Q3038593 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Preconditions and Postconditions of While Loops
+Normal rank
@@ Property / cites work @@
+Proof automation for functional correctness in separation logic
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics for reasoning about loop functions
@@ Property / cites work: Mathematics for reasoning about loop functions / rank @@
+Normal rank
@@ Property / cites work @@
+Strongest invariant functions: Their use in the systematic analysis of while statements
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:444373