Enforcing termination of interprocedural analysis (Q5915716): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 6947123
@@ Property / zbMATH Open document ID @@
+.68083
@@ Property / zbMATH Open document ID: 1425.68083 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/s10703-017-0288-5
@@ Property / DOI: 10.1007/s10703-017-0288-5 / rank @@
+Normal rank
@@ Property / published in @@
+Formal Methods in System Design
@@ Property / published in: Formal Methods in System Design / rank @@
+Normal rank
@@ Property / publication date @@
+October 2018Timestamp +2018-10-04T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-10-04T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 4 October 2018 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6947123
@@ Property / zbMATH DE Number: 6947123 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2464069333
@@ Property / OpenAlex ID: W2464069333 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+static program analysis
@@ Property / zbMATH Keywords: static program analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+local solvers
@@ Property / zbMATH Keywords: local solvers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract interpretation
@@ Property / zbMATH Keywords: abstract interpretation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interprocedural analysis
@@ Property / zbMATH Keywords: interprocedural analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial tabulation
@@ Property / zbMATH Keywords: partial tabulation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CiaoPP
@@ Property / describes a project that uses: CiaoPP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAG
@@ Property / describes a project that uses: PAG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aspic
@@ Property / describes a project that uses: Aspic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ciao
@@ Property / describes a project that uses: Ciao / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing Top-Down Solving with Widening and Narrowing
+Normal rank
@@ Property / cites work @@
+Precise widening operators for convex polyhedra
@@ Property / cites work: Precise widening operators for convex polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Domain to Discover Interval Linear Equalities
+Normal rank
@@ Property / cites work @@
+Abstracting Induction by Extrapolation and Interpolation
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / 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 @@
+An even faster solver for general systems of equations
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Verifying a Local Generic Solver in Coq
@@ Property / cites work: Verifying a Local Generic Solver in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Pure Functional?
@@ Property / cites work: What Is a Pure Functional? / rank @@
+Normal rank
@@ Property / cites work @@
+On Monadic Parametricity of Second-Order Functionals
+Normal rank
@@ Property / cites work @@
+Enforcing termination of interprocedural analysis
@@ Property / cites work: Enforcing termination of interprocedural analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Interprocedural analyses: a comparison
@@ Property / cites work: Interprocedural analyses: a comparison / rank @@
+Normal rank