Using conditional trace slicing for improving Maude programs.

María Alpuente Demis Ballis Francisco Frechina Daniel Romero

Published in: Sci. Comput. Program. (2014)

Keyphrases

program slicing
real time
formal specification
computer programs
probability distribution
probabilistic logic programs
image segmentation
objective function
automatic programming