Accurate Programming: Thinking about programs in terms of properties
Walid TahaVerónica GaspesRex L. PagePublished in: DSL (2011)
Keyphrases
- programming environment
- high accuracy
- imperative programs
- co occurrence
- highly accurate
- error handling
- automatic programming
- social networks
- high level language
- programming language
- databases
- computer programs
- concurrent programming
- programming environments
- novice programmers
- object oriented programming
- high precision
- high quality
- artificial intelligence