Inter-procedural Two-Variable Herbrand Equalities (Q2802449): Difference between revisions

@@ Property / cites work @@
+Q5657644
@@ Property / cites work: Q5657644 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Checking for Programs with Procedure Calls
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Procedure Summaries for Interprocedural Analysis
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for deciding bisimilarity of normed context-free processes
+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 @@
+Context Unification is in PSPACE
@@ Property / cites work: Context Unification is in PSPACE / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmics on SLP-compressed strings: A survey
@@ Property / cites work: Algorithmics on SLP-compressed strings: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar-Based Tree Compression
@@ Property / cites work: Grammar-Based Tree Compression / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining dynamic sequences under equality tests in polylogarithmic time
+Normal rank
@@ Property / cites work @@
+Interprocedurally Analyzing Polynomial Identities
@@ Property / cites work: Interprocedurally Analyzing Polynomial Identities / rank @@
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Upper Adjoints for Fast Inter-procedural Variable Equalities
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Inter-procedural Two-Variable Herbrand Equalities
@@ Property / cites work: Inter-procedural Two-Variable Herbrand Equalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038674
@@ Property / cites work: Q4038674 / rank @@
+Normal rank