Static semantics, types, and binding time analysis (Q1179698): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Refal
@@ Property / describes a project that uses: Refal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A structured approach to static semantics correctness
+Normal rank
@@ Property / cites work @@
+Q3657413
@@ Property / cites work: Q3657413 / rank @@
+Normal rank
@@ Property / cites work @@
+The Type Theory of PL/CV3
@@ Property / cites work: The Type Theory of PL/CV3 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed computation: potential applications and problems for study
+Normal rank
@@ Property / cites work @@
+TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages
+Normal rank
@@ Property / cites work @@
+Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
+Normal rank
@@ Property / cites work @@
+Q3787457
@@ Property / cites work: Q3787457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805933
@@ Property / cites work: Q3805933 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings
+Normal rank
@@ Property / cites work @@
+The remaining trouble spots in ALGOL 60
@@ Property / cites work: The remaining trouble spots in ALGOL 60 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+A denotational framework for data flow analysis
@@ Property / cites work: A denotational framework for data flow analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711735
@@ Property / cites work: Q3711735 / rank @@
+Normal rank
@@ Property / cites work @@
+Control Flow Aspects of Semantics-Directed Compiling
+Normal rank
@@ Property / cites work @@
+Q3995133
@@ Property / cites work: Q3995133 / rank @@
+Normal rank
@@ Property / cites work @@
+The concept of a supercompiler
@@ Property / cites work: The concept of a supercompiler / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1179698