Dead code elimination based pointer analysis for multithreaded programs (Q1939745): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2038144554
@@ Property / OpenAlex ID: W2038144554 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5089
@@ Property / arXiv ID: 1212.5089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411961
@@ Property / cites work: Q4411961 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+Semi-sparse flow-sensitive pointer analysis
@@ Property / cites work: Semi-sparse flow-sensitive pointer analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Type systems equivalent to data-flow analyses for imperative languages
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+From flow logic to static type systems for coordination languages
+Normal rank
@@ Property / cites work @@
+Q4414732
@@ Property / cites work: Q4414732 / rank @@
+Normal rank
@@ Property / cites work @@
+Program and proof optimizations with type systems
@@ Property / cites work: Program and proof optimizations with type systems / rank @@
+Normal rank