Sciweavers

Share
AAIP
2009

Porting IgorII from Maude to Haskell

10 years 3 months ago
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
Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmi
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2009
Where AAIP
Authors Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid
Comments (0)
books