Upper Bounds on Stream I/O Using Semantic Interpretations (Q3644754): Difference between revisions

@@ Property / OpenAlex ID @@
+W1492921884
@@ Property / OpenAlex ID: W1492921884 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-interpretations. A way to control resources
@@ Property / cites work: Quasi-interpretations. A way to control resources / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681361
@@ Property / cites work: Q4681361 / rank @@
+Normal rank
@@ Property / cites work @@
+Sup-interpretations, a semantic method for static analysis of program resources
+Normal rank
@@ Property / cites work @@
+A Characterization of NC k by First Order Functional Programs
+Normal rank
@@ Property / cites work @@
+Recursion Schemata for NC k
@@ Property / cites work: Recursion Schemata for NC k / rank @@
+Normal rank
@@ Property / cites work @@
+An extensional treatment of dataflow deadlock
@@ Property / cites work: An extensional treatment of dataflow deadlock / rank @@
+Normal rank
@@ Property / cites work @@
+Productivity of Stream Definitions
@@ Property / cites work: Productivity of Stream Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+A term calculus for (co-)recursive definitions on streamlike data structures
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank