Calculating modules in contextual logic program refinement (Q5437648): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787422
@@ Property / cites work: Q3787422 / rank @@
+Normal rank
@@ Property / cites work @@
+Steadfast logic programs
@@ Property / cites work: Steadfast logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The relationship between logic programs and specifications-the subset example revisited
+Normal rank
@@ Property / cites work @@
+A refinement calculus for logic programs
@@ Property / cites work: A refinement calculus for logic 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 @@
+Q3996676
@@ Property / cites work: Q3996676 / rank @@
+Normal rank
@@ Property / cites work @@
+Supporting contexts in program refinement
@@ Property / cites work: Supporting contexts in program refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement by calculation
@@ Property / cites work: Data refinement by calculation / rank @@
+Normal rank