Synthesis from Production-Based Specifications.
Andrew SeawrightForrest BrewerPublished in: DAC (1992)
Keyphrases
- production system
- production planning
- formal specification
- high level
- genetic algorithm
- delay insensitive
- program synthesis
- texture synthesis
- specification language
- production process
- production scheduling
- written in natural language
- real time
- concurrent systems
- expert systems
- natural language
- decision trees
- information retrieval