Mathematics of Program Construction (selected papers from MPC 2010).
Jules DesharnaisPublished in: Sci. Comput. Program. (2013)
Keyphrases
- selected papers
- computer science
- annual conference
- international workshop
- invited talk
- asia pacific
- review process
- program committee
- programming environment
- artificial intelligence
- closed loop
- test cases
- elementary students
- lecture notes in artificial intelligence
- comparative evaluation
- construction process
- lecture notes
- dynamic model
- program execution