When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-4856
Go to the corresponding Portal

Singer, Jeremy

Towards Probabilistic Program Slicing

05451.SingerJeremy.Paper.485.pdf (0.2 MB)


This paper outlines the concept of extit{probabilistic} program slicing. It walks through a simple example before describing some algorithmic concerns. Then three motivating applications are described. Finally it highlights existing work that may be built upon, and future work that needs immediate attention if this idea is to succeed.

BibTeX - Entry

  author =	{Jeremy Singer},
  title =	{Towards Probabilistic Program Slicing},
  booktitle =	{Beyond Program Slicing},
  year =	{2006},
  editor =	{David W. Binkley and Mark Harman and Jens Krinke},
  number =	{05451},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Probability, slicing, speculation}

Keywords: Probability, slicing, speculation
Seminar: 05451 - Beyond Program Slicing
Issue Date: 2006
Date of publication: 07.07.2006

DROPS-Home | Fulltext Search | Imprint Published by LZI