Improved code reuse

One shared abstraction for finite maps

• Haskell model:
  • Memory implements finite maps using functions
  • Regs and Algs use a finite map implementation based on lists
• My Alfa model:
  • A single abstraction for finite maps