Typing Local Control and State Using Flow Analysis (Q3000584): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-19718-5_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1591203048
@@ Property / OpenAlex ID: W1591203048 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional polymorphism in type-erasure  semantics
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Interprocedural Analysis with Lazy Propagation
@@ Property / cites work: Interprocedural Analysis with Lazy Propagation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular set-based analysis from contracts
@@ Property / cites work: Modular set-based analysis from contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4437807
@@ Property / cites work: Q4437807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+The design and implementation of typed scheme
@@ Property / cites work: The design and implementation of typed scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Logical types for untyped languages
@@ Property / cites work: Logical types for untyped languages / rank @@
+Normal rank