Programming with Proofs: Language-Based Approaches to Totally Correct Software.
Aaron StumpPublished in: VSTTE (2005)
Keyphrases
- programming language
- oriented programming
- computer programs
- neural network
- software systems
- modeling language
- software design
- programming paradigms
- database
- programming tool
- advanced features
- programming environment
- object oriented programming
- software developers
- language learning
- computer systems
- general purpose
- relational databases
- case study