A Provably Correct Compiler Generator

  • Authors:

  • Jens Palsberg

  • Affiliations:

  • -

  • Venue:
  • ESOP '92 Proceedings of the 4th European Symposium on Programming
  • Year:
  • 1992

Quantified Score

Hi-index 0.03

Visualization

Abstract