Watt, S.M.; Broadbery, P.A.; Iglio, P.; Morrison, S.C.; Steinbach, J.M. "Foam: A First Order Abstract Machine", V 0.35, IBM Research Report RC 19528, 1994

(1994)

Languages mentioned

  • A# {1995} Subcomponent of AXIOM 2
  • FOAM {1992}