The abstract domain of trapezoid step functions

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

zbMATH Keywords

static analysiscontinuous functionsabstract interpretationembedded softwareabstract domain

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• HybridFluctuat
• GRKLib

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