From Specifications to Programs: Induction in the Service of Synthesis (Abstract).
Nachum DershowitzPublished in: AII/ALT (1994)
Keyphrases
- program synthesis
- recursive programs
- functional programs
- state machines
- high level
- protocol specification
- control flow
- logic programs
- inductive learning
- service discovery
- machine learning
- inductive logic programming
- service providers
- low level
- higher level
- rough sets
- functional language
- formal specification
- web service composition
- customer service
- processor sharing
- management system
- web services