The abstract domain of trapezoid step functions (Q1749121): Difference between revisions

@@ Property / Wikidata QID @@
+Q115097993
@@ Property / Wikidata QID: Q115097993 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation of the Physical Inputs of Embedded Programs
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324260
@@ Property / cites work: Q3324260 / rank @@
+Normal rank
@@ Property / cites work @@
+Directionally continuous selections in Banach spaces
+Normal rank
@@ Property / cites work @@
+Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
+Normal rank
@@ Property / cites work @@
+Widening and narrowing operators for abstract interpretation
+Normal rank
@@ Property / cites work @@
+Domain theory and differential calculus (functions of one variable)
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Distance makes the types grow stronger
@@ Property / cites work: Distance makes the types grow stronger / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity analysis of programs
@@ Property / cites work: Continuity analysis of programs / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized canonical piecewise-linear representation
+Normal rank
@@ Property / cites work @@
+Q3768247
@@ Property / cites work: Q3768247 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Algorithms for Piecewise-Linear Continuous Approximation of Functions of One Variable
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank