Faceted execution of policy-agnostic programs.
Thomas H. AustinJean YangCormac FlanaganArmando Solar-LezamaPublished in: PLAS (2013)
Keyphrases
- active databases
- active rules
- application programs
- optimal policy
- execution model
- databases
- action selection
- automatic programming
- multi faceted
- data sets
- policy making
- program execution
- markov decision process
- database transactions
- symbolic execution
- policy makers
- computer programs
- web pages
- information systems
- information retrieval