Slicing of Probabilistic Programs based on Specifications.
Marcelo NavarroFederico OlmedoPublished in: CoRR (2022)
Keyphrases
- program slicing
- control flow
- recursive programs
- probabilistic model
- probabilistic approaches
- databases
- bayesian networks
- generative model
- real time
- program synthesis
- automatic programming
- formal verification
- probabilistic logic
- uncertain data
- neural network
- finite state machines
- formal specification
- programming environment
- posterior probability
- operating system
- source code
- expert systems
- reactive systems
- social networks
- attribute grammars
- database