A Model for Implementing EUCLID Modules and Prototypes

  • Authors:
  • Richard C. Holt;David B. Wortman

  • Affiliations:
  • Computer Systems Research Group, University of Toronto, Toronto, Ontario, Canada M5S 1A1;Computer Systems Research Group, University of Toronto, Toronto, Ontario, Canada M5S 1A1

  • Venue:
  • ACM Transactions on Programming Languages and Systems (TOPLAS)
  • Year:
  • 1982

Quantified Score

Hi-index 0.00

Visualization

Abstract