Specification languages for control programs.
Joseph H. Austin Jr.Published in: SIGPLAN-SIGOPS Interface Meeting (1973)
Keyphrases
- specification languages
- object oriented programs
- formal specification
- control program
- control system
- control structures
- control strategy
- control method
- machine learning
- information systems
- genetic algorithm
- robot control
- first order logic
- adaptive control
- real time
- knowledge acquisition
- information retrieval
- neural network
- data sets