Static Dependency Pair Method in Functional Programs

Keiichirou KUSAKARI  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2018/03/16
DOI: 10.1587/transinf.2017FOP0004
Full Text: PDF(213.6KB)