Title of article :
Deterministic second-order patterns
Author/Authors :
Tetsuo Yokoyama، نويسنده , , Zhenjiang Hu، نويسنده , , Masato Takeichi، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
Keywords :
Fusion transformation , Program transformation , Second-order pattern matching , Program derivation , functional programming
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters