Declarative Infrastructure Configuration Synthesis and Debugging.
Sanjai NarainGary LevinSharad MalikVikram KaulPublished in: J. Netw. Syst. Manag. (2008)
Keyphrases
- declarative language
- knowledge representation
- domain independent
- computing environments
- neural network
- hardware designs
- highly distributed
- declarative knowledge
- program synthesis
- artificial intelligence
- information exchange
- model based diagnosis
- parallel programming
- end users
- expert systems
- novice programmers
- website
- data sets