Programming Language Features for Refinement.
Jason KoenigK. Rustan M. LeinoPublished in: Refine@FM (2015)
Keyphrases
- programming language
- general purpose
- object oriented
- strongly typed
- high level
- software engineering
- programming environment
- key features
- object oriented programming
- logic programming
- operating system
- database languages
- object oriented concepts
- database
- programming tool
- functional programming
- data abstraction
- specification language
- computer programs
- test set
- relational databases
- artificial intelligence