The CORE system: Animation and functional correctness of pointer programs.
Ewen MacleanAndrew IrelandGudmund GrovPublished in: ASE (2011)
Keyphrases
- provably correct
- functional language
- programming education
- computer programs
- functional analysis
- three dimensional
- computer vision
- real world
- data structure
- information technology
- programming language
- computer graphics
- motion capture
- neural network
- fixpoint
- intermediate level
- control structures
- control program
- functional properties
- learning algorithm