#. Dual Mode Solution
  • For JEM1, we defined the macro CASE=

    • Accepts symbolic keys
  • ACL2 : expands to COND form

    • Keys evaluated at execution time
  • GCL : expands into CASE form

    • Keys EVAL'd at read time
  • In the process, we also introduced an error

    • Illustrates the advantage of single (formal) source
PREVIOUS SLIDE SLIDE INDEX NEXT SLIDE