Towards a specification of syntax and semantics for languages for horizontally microprogrammed machines.
Tomlinson Gene RauscherPublished in: SIGPLAN/SIGMICRO Interface (1973)
Keyphrases
- knowledge representation languages
- specification languages
- language independent
- formal languages
- formal language
- multi lingual
- expressive power
- formal specification
- databases
- formal verification
- real time
- database systems
- high level
- user defined
- description logics
- language identification
- e learning
- artificial intelligence
- genetic algorithm