Strictness analysis via abstract interpretation for recursively defined types (Q1193597): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026333
@@ Property / cites work: Q3026333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152697
@@ Property / cites work: Q4152697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+Needed reduction and spine strategies for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Strictness analysis for higher-order functions
@@ Property / cites work: Strictness analysis for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875320
@@ Property / cites work: Q3875320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340118
@@ Property / cites work: Q3340118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664406
@@ Property / cites work: Q3664406 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718128
@@ Property / cites work: Q3718128 / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness analysis and denotational abstract interpretation
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank