Acquisition and Representation of Knowledge on the Level of Programming Language for Automatic Programming.
Jan KazimierczakPublished in: ACM Conference on Computer Science (1993)
Keyphrases
- programming language
- automatic programming
- object oriented
- computer programs
- strongly typed
- high level
- programming environment
- general purpose
- expert systems
- knowledge base
- object oriented programming
- theorem proving
- software engineering
- gene expression programming
- knowledge representation
- database languages
- program code
- functional programming
- programming tool
- specification language
- functional language
- database
- object oriented concepts
- denotational semantics