Combining angels, demons and miracles in program specifications (Q1199826): Difference between revisions

@@ 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/0304-3975(92)90309-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1973316014
@@ Property / OpenAlex ID: W1973316014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3888507
@@ Property / cites work: Q3888507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+On correct refinement of programs
@@ Property / cites work: On correct refinement of programs / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of refinements for program derivations
@@ Property / cites work: A calculus of refinements for program derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Duality in specification languages: A lattice-theoretical approach
+Normal rank
@@ Property / cites work @@
+A theory for nondeterminism, parallelism, communication, and concurrency
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Naundorf's fixpoint theorem
@@ Property / cites work: A generalization of Naundorf's fixpoint theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Command algebras, recursion and program transformation
+Normal rank
@@ Property / cites work @@
+General correctness: A unification of partial and total correctness
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+Types and invariants in the refinement calculus
@@ Property / cites work: Types and invariants in the refinement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+Q3920613
@@ Property / cites work: Q3920613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank