Mechanically verifying the correctness of an offline partial evaluator

Research output: Book/Report › Report › Communication

  • John Hatcliff
DIKU-rapport 95/14
Original languageEnglish
Place of PublicationDatalogisk Institut, Københavns Universitet
Publication statusPublished - 1996

ID: 23148