• Publications
  • Influence
Metal: A Formalism to Specify Formalisms
syntax # end definition 15.5 In Appendix 1 we give the complete Metal program defining ASPLE. In Appendix 2 we give the Metal program that defines Metal itself. The reader who is curious about theExpand
  • 41
  • 7