Porting IgorII from Maude to Haskell

This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary features of the homoiconic language MAUDE can be simulated in HASKELL using a stateful monad transformer. With our new implementation we are now able to use higher-order context during our synthesis and extract information from type classes useable as background knowledge. Keeping our new implementation as close as possible to our old, we could keep all features of our system. Keywords Inductive Programming, Homoiconic Languages, MAUDE, HASKELL, IGOR 2, System Design

• Type: Conference
• Year: 2009
• Where: AAIP
• Authors: Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid
• Keywords: AAIP 2009, Homoiconic Language Maude, Language Maude, Programming Languages, Termrewriting Language Maude