Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code.
Jorge A. NavasPeter SchachteHarald SøndergaardPeter J. StuckeyPublished in: APLAS (2012)
Keyphrases
- low level
- high level
- higher level
- lower bound
- source code
- upper bound
- worst case
- lower and upper bounds
- lower level
- mid level
- neural network
- low level features
- upper and lower bounds
- high level abstractions
- visual information
- static analysis
- tight bounds
- visual features
- visual cues
- np hard
- search algorithm
- machine learning
- floating point
- open source
- error correcting
- computer vision
- confidence bounds