FOSSACS
2016
Springer
8 years 9 months ago
2016
Springer
The task of program slicing is to remove the parts of a program that are irrelevant in a given context. In probabilistic programs, where variables may be assigned random values fr...
FOSSACS
2016
Springer
8 years 9 months ago
2016
Springer
We study an extension of classical Petri nets where tokens carry values from a countable data domain, that can be tested for equality upon firing transitions. These Unordered Data...