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

← Older edit

@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6715907
@@ Property / zbMATH Open document ID @@
+.68098
@@ Property / zbMATH Open document ID: 1398.68098 / rank @@
+Normal rank
@@ Property / DOI @@
+.23638/LMCS-13(2:5)2017
@@ Property / DOI: 10.23638/LMCS-13(2:5)2017 / rank @@
+Normal rank
@@ Property / publication date @@
+May 2017Timestamp +2017-05-16T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-05-16T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 16 May 2017 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6715907
@@ Property / zbMATH DE Number: 6715907 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+static analysis
@@ Property / zbMATH Keywords: static analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inter-procedural program analysis
@@ Property / zbMATH Keywords: inter-procedural program analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+procedure summaries
@@ Property / zbMATH Keywords: procedure summaries / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Herbrand equalities
@@ Property / zbMATH Keywords: Herbrand equalities / rank @@
+Normal rank
@@ 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