Selected papers from Mathematics of Program Construction 2012.
Jeremy GibbonsPablo NogueiraPublished in: Sci. Comput. Program. (2014)
Keyphrases
- selected papers
- computer science
- annual conference
- international workshop
- conference proceedings
- dagstuhl castle
- review process
- invited talk
- static analysis
- data mining
- computer programs
- artificial intelligence
- neural network
- programming environment
- source code
- construction process
- electrical engineering
- e government
- knowledge discovery
- program execution
- asia pacific