Porting IgorII from Maude to Haskell.

Martin Hofmann Emanuel Kitzelmann Ute Schmid

Published in: AAIP (2009)

Keyphrases

functional programming
programming language
formal specification
plagiarism detection
equational theories
massively parallel
functional language
artificial intelligence
general purpose
databases
object oriented
high level
information retrieval systems
source code
information retrieval
real time
database