The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs.
Maurice ClintC. VicentPublished in: Softw. Pract. Exp. (1984)
Keyphrases
- programming environment
- high level language
- automatic programming
- programming education
- computer programs
- programming environments
- error handling
- programming language
- virtual environment
- high level programming language
- program code
- random variables
- augmented reality
- virtual reality
- novice programmers
- database
- relevant variables
- concurrent programming
- causal relationships
- variable selection
- declarative programming
- multicore processors
- computer software
- input variables
- virtual world
- oracle pl sql
- programming language constructs
- computer programming
- functional language
- programming skills
- function symbols
- dynamic range
- object oriented programming
- causal models
- answer sets
- open source
- relational databases
- database systems
- data sets