Sign in

Formalizing a correctness property of a type-directed partial evaluator.

Noriko HirotaKenichi Asai
Published in: PLPV (2014)
Keyphrases
  • data sets
  • genetic algorithm
  • information systems
  • multimedia
  • software engineering