Title of article :
Disjunctive partial deduction of a right-to-left string-matching algorithm
Author/Authors :
Manuel Hern?ndez، نويسنده , , David A. Rosenblueth، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2003
Keywords :
Partial deduction , Program derivation , String matching
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters