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

← Older edit Newer 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 / arXiv ID @@
+.4416
@@ Property / arXiv ID: 1410.4416 / 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