Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.

María Alpuente Demis Ballis Francisco Frechina Julia Sapiña

Published in: ESOP (2013)

Keyphrases

data sets
statistical analysis
databases
data mining
high level
logic programming
quantitative analysis
case study
data analysis
image analysis