State-transition machines, revisited (Q2464722): Difference between revisions

@@ Property / cites work @@
+The categorical abstract machine
@@ Property / cites work: The categorical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract framework for environment machines
@@ Property / cites work: An abstract framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+From operational semantics to abstract machines
@@ Property / cites work: From operational semantics to abstract machines / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
+Normal rank
@@ Property / cites work @@
+Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional interpreters for higher-order programming languages
+Normal rank
@@ Property / cites work @@
+Q3922134
@@ Property / cites work: Q3922134 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank