A declarative language approach to device configuration.

Adrian Schüpbach Andrew Baumann Timothy Roscoe Simon Peter

Published in: ASPLOS (2011)

Keyphrases

declarative language
deductive databases
modeling language
data acquisition
data model
optimal configuration
real world
data management