Program derivation with verified transformations — a case study (Q4884666): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/cpa.3160480906
+Normal rank
@@ Property / OpenAlex ID @@
+W1983828041
@@ Property / OpenAlex ID: W1983828041 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+An algorithm for reduction of operator strength
@@ Property / cites work: An algorithm for reduction of operator strength / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / 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 @@
+Q4261731
@@ Property / cites work: Q4261731 / rank @@
+Normal rank
@@ Property / cites work @@
+An Automatic Technique for Selection of Data Representations in SETL Programs
+Normal rank
@@ Property / cites work @@
+Automatic data structure choice in a language of very high level
+Normal rank
@@ Property / cites work @@
+Q3741005
@@ Property / cites work: Q3741005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing flow graph reducibility
@@ Property / cites work: Testing flow graph reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank