Discovering invariants via simple component analysis (Q435979): Difference between revisions

@@ Property / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DART
@@ Property / describes a project that uses: DART / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+R
@@ Property / describes a project that uses: R / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2011.12.052
+Normal rank
@@ Property / OpenAlex ID @@
+W2018756497
@@ Property / OpenAlex ID: W2018756497 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Numerical Abstract Domains via Principal Component Analysis
+Normal rank
@@ Property / cites work @@
+Orthogonal simple component analysis: a new, exploratory approach
+Normal rank
@@ Property / cites work @@
+Relational inductive shape analysis
@@ Property / cites work: Relational inductive shape analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934630
@@ Property / cites work: Q4934630 / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4778703
@@ Property / cites work: Q4778703 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Relational Abstract Domain of Weighted Hexagons
@@ Property / cites work: Relational Abstract Domain of Weighted Hexagons / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of arithmetical congruences
@@ Property / cites work: Static analysis of arithmetical congruences / rank @@
+Normal rank
@@ Property / cites work @@
+A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
+Normal rank
@@ Property / cites work @@
+Discovering affine equalities using random interpretation
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis using random interpretation
+Normal rank
@@ Property / cites work @@
+Q3673885
@@ Property / cites work: Q3673885 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval arithmetic
@@ Property / cites work: Interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Q5001955
@@ Property / cites work: Q5001955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3091591
@@ Property / cites work: Q3091591 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Component Analysis
@@ Property / cites work: Simple Component Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Program Analysis Using Symbolic Ranges
@@ Property / cites work: Program Analysis Using Symbolic Ranges / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank
@@ Property / cites work @@
+Q4418863
@@ Property / cites work: Q4418863 / rank @@
+Normal rank