Safe Modification of Pointer Programs in Refinement Calculus.
Susumu NishimuraPublished in: MPC (2008)
Keyphrases
- provably correct
- data structure
- information systems
- artificial intelligence
- databases
- image sequences
- automatic programming
- programming environment
- computer algebra
- refinement operators
- automated deduction
- intermediate level
- answer sets
- operating system
- object oriented
- evolutionary algorithm
- video sequences
- multi agent
- multiscale
- case study