A sparse evaluation technique for detailed semantic analyses (Q2339156): Difference between revisions

@@ Property / describes a project that uses @@
+Octagon
@@ Property / describes a project that uses: Octagon / rank @@
+Normal rank
@@ 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.cl.2014.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2132956552
@@ Property / OpenAlex ID: W2132956552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Why does Astrée scale up?
@@ Property / cites work: Why does Astrée scale up? / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+The program dependence graph and its use in optimization
+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 @@
+Sound Non-statistical Clustering of Static Analysis Alarms
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Access Analysis-Based Tight Localization of Abstract Memories
+Normal rank
@@ Property / cites work @@
+On sparse evaluation representations
@@ Property / cites work: On sparse evaluation representations / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural dataflow analysis with applications to constant propagation
+Normal rank