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

@@ 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