Static Slicing for Probabilistic Programs: An Overview
- 13 November 2024
- book chapter
- Published by Springer Nature
- p. 155-178
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Slicing of probabilistic programs based on specificationsScience of Computer Programming, 2022
- Fine-Grained Semantics for Probabilistic Programs2018
- A Theory of Slicing for Probabilistic Control Flow Graphs2016
- Understanding Probabilistic Programs2015
- Slicing for modern program structures: a theory for eliminating irrelevant loopsInformation Processing Letters, 2008
- Differential Privacy2006
- Abstraction, Refinement and Proof for Probabilistic Systems2005
- Program slicing using weakest preconditionsLecture Notes in Computer Science, 1996
- Probabilistic encryptionJournal of Computer and System Sciences, 1984
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981