Reference count analysis with shallow aliasing (Q1944038): 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.1016/j.ipl.2010.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2063742843
@@ Property / OpenAlex ID: W2063742843 / rank @@
+Normal rank
@@ Property / cites work @@
+Typestate verification: abstraction techniques and complexity results
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+On the complexity of flow-sensitive dataflow analyses
+Normal rank
@@ Property / cites work @@
+Verifying Reference Counting Implementations
@@ Property / cites work: Verifying Reference Counting Implementations / rank @@
+Normal rank