Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.

Ulrich Berger Kenji Miyamoto Helmut Schwichtenberg Monika Seisenberger

Published in: CALCO (2011)

Keyphrases

program understanding
real time
computer programs
data sets
genetic algorithm
similarity measure
test cases
user friendly
databases
real world
machine learning
decision making
high level
information extraction
decision support
temporal reasoning