Login / Signup
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging.
Adrián Riesco
Published in:
FLOPS (2014)
Keyphrases
</>
post processing
object oriented
decision trees
real time
data sets
databases
data mining
search algorithm
natural language