Noriko Hirota

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Software Engineering

Genetic Algorithm

Top Venues

Publications

Noriko Hirota, Kenichi Asai
Formalizing a correctness property of a type-directed partial evaluator. PLPV (2014)