The abstract domain of trapezoid step functions
From MaRDI portal
Publication:1749121
DOI10.1016/j.cl.2015.04.002zbMath1387.68069OpenAlexW800283444WikidataQ115097993 ScholiaQ115097993MaRDI QIDQ1749121
Agostino Cortesi, Pietro Ferrara, Giulia Costantini
Publication date: 15 May 2018
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cl.2015.04.002
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cost analysis of object-oriented bytecode programs
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- The octagon abstract domain
- Widening and narrowing operators for abstract interpretation
- A generalized canonical piecewise-linear representation
- Directionally continuous selections in Banach spaces
- Domain theory and differential calculus (functions of one variable)
- Two Algorithms for Piecewise-Linear Continuous Approximation of Functions of One Variable
- Distance makes the types grow stronger
- Systematic design of program transformation frameworks by abstract interpretation
- Continuity analysis of programs
- Programming Languages and Systems
- Abstract Interpretation of the Physical Inputs of Embedded Programs
This page was built for publication: The abstract domain of trapezoid step functions