Slicing of Probabilistic Programs Based on Specifications (Extended Abstract).
Marcelo NavarroFederico OlmedoPublished in: ECOOP (2022)
Keyphrases
- extended abstract
- control flow
- program slicing
- recursive programs
- probabilistic model
- high level
- formal verification
- database
- probabilistic logic
- uncertain data
- formal specification
- neural network
- computer programs
- probabilistic reasoning
- generative model
- data driven
- data flow
- belief networks
- information theoretic
- reactive systems
- delay insensitive
- attribute grammars
- information technology
- bayesian networks