On a new approach to representation independent data classes (Q1234589): Difference between revisions

@@ Property / author @@
-Robert D. Tennent
@@ Property / author: Robert D. Tennent / rank @@
-Normal rank
@@ Property / author @@
+Robert D. Tennent
@@ Property / author: Robert D. Tennent / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Modula
@@ Property / describes a project that uses: Modula / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Some ideas on data types in high-level languages
@@ Property / cites work: Some ideas on data types in high-level languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5183092
@@ Property / cites work: Q5183092 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a structured program: 'The sieve of Eratosthenes'
+Normal rank
@@ Property / cites work @@
+Protection in programming languages
@@ Property / cites work: Protection in programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154035
@@ Property / cites work: Q4154035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116049
@@ Property / cites work: Q4116049 / rank @@
+Normal rank
@@ Property / cites work @@
+Design and implementation of modula
@@ Property / cites work: Design and implementation of modula / rank @@
+Normal rank