Specification and Proof of High-Level Functional Properties of Bit-Level Programs.
Clément FumexClaire DrossJens GerlachClaude MarchéPublished in: NFM (2016)
Keyphrases
- object oriented
- high level
- functional properties
- programming language
- higher level
- lower level
- provably correct
- low level
- knowledge level
- intermediate level
- case study
- specification language
- control flow
- boolean functions
- computer programs
- levels of abstraction
- theorem prover
- low level features
- genetic algorithm
- proof planning
- imperative programs