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

@@ Property / describes a project that uses @@
+HybridFluctuat
@@ Property / describes a project that uses: HybridFluctuat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GRKLib
@@ Property / describes a project that uses: GRKLib / 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.cl.2015.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W800283444
@@ Property / OpenAlex ID: W800283444 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1749121