The JOVIAL checker an automatic checkout system for higher level language programs.
Mildred WilkersonPublished in: IRE-AIEE-ACM Computer Conference (Western) (1961)
Keyphrases
- higher level
- computer programs
- low level
- control structures
- programming environment
- lower level
- language learning
- intermediate level
- agent programming
- object oriented languages
- fully automatic
- semi automatic
- programming language
- database languages
- case study
- dynamic logic
- functional programs
- genetic algorithm
- automatic programming
- specification language
- general purpose
- multi agent
- information systems