The abstract domain of trapezoid step functions

DOI10.1016/J.CL.2015.04.002MaRDI QIDQ1749121zbMATH OpenOpenAlexWikidataFDO

Authors Agostino Cortesi, Giulia Costantini, Pietro Ferrara

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

abstract domainabstract interpretationcontinuous functionsembedded softwarestatic analysis

Mathematics Subject Classification ID

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

Recommendations

• A zonotopic framework for functional abstractions
• The abstract domain of parallelotopes
• Static Analysis
• \textsf{TreeKs}: a functor to make numerical abstract domains scalable
• The octagon abstract domain

Cites work

• A generalized canonical piecewise-linear representation
• Abstract Interpretation of the Physical Inputs of Embedded Programs
• Continuity analysis of programs
• Cost analysis of object-oriented bytecode programs
• Directionally continuous selections in Banach spaces
• Distance makes the types grow stronger: a calculus for differential privacy
• Domain theory and differential calculus (functions of one variable)
• scientific article; zbMATH DE number 3855514 (Why is no real title available?)
• scientific article; zbMATH DE number 4026646 (Why is no real title available?)
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• Programming Languages and Systems
• Systematic design of program transformation frameworks by abstract interpretation
• The octagon abstract domain
• Two Algorithms for Piecewise-Linear Continuous Approximation of Functions of One Variable
• Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
• Widening and narrowing operators for abstract interpretation

Describes a project that uses

Uses Software

• HybridFluctuat
• GRKLib

This page was built for publication: The abstract domain of trapezoid step functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749121)