Negative Ternary Set-Sharing (Q5504663): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2110360927
@@ Property / OpenAlex ID: W2110360927 / rank @@
+Normal rank
@@ Property / cites work @@
+Two classes of Boolean functions for dependency analysis
+Normal rank
@@ Property / cites work @@
+Finite-tree analysis for constraint logic-based languages
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to sharing analysis of logic programs
+Normal rank
@@ Property / cites work @@
+On the design of a correct freeness analysis for logic programs
+Normal rank
@@ Property / cites work @@
+A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+Collapsing Closures
@@ Property / cites work: Collapsing Closures / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Set-Sharing Analysis
@@ Property / cites work: Lazy Set-Sharing Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Precise Set Sharing Analysis for Java-Style Programs
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q3742761
@@ Property / cites work: Q3742761 / rank @@
+Normal rank
@@ Property / cites work @@
+Negative Ternary Set-Sharing
@@ Property / cites work: Negative Ternary Set-Sharing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494373
@@ Property / cites work: Q4494373 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5504663