A Language for Automated Programming of Mathematical Applications.
Robert J. KlererMelvin KlererFred GrossmanPublished in: Comput. Lang. (1992)
Keyphrases
- programming language
- object oriented programming
- oriented programming
- programming environment
- scripting language
- natural language
- semi automated
- object oriented
- automated theorem provers
- general purpose
- fully automated
- specification language
- object oriented programming language
- oracle pl sql
- computer programs
- programming concepts
- target language
- computer aided
- data sets
- automated analysis
- database programming
- mathematical theory
- exception handling
- java programming
- error handling
- concurrent programming
- context sensitive
- declarative programming
- neural network