Formal compiler construction in a logical framework (Q853741): Difference between revisions

@@ Property / DOI @@
-.1007/s10990-006-8746-6
@@ Property / DOI: 10.1007/s10990-006-8746-6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-006-8746-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2154518226
@@ Property / OpenAlex ID: W2154518226 / rank @@
+Normal rank
@@ Property / cites work @@
+The categorical abstract machine
@@ Property / cites work: The categorical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484346
@@ Property / cites work: Q4484346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721104
@@ Property / cites work: Q2721104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293532
@@ Property / cites work: Q4293532 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10990-006-8746-6
@@ Property / DOI: 10.1007/S10990-006-8746-6 / rank @@
+Normal rank