Title of article :
A residualizing semantics for the partial evaluation of functional logic programs
Author/Authors :
Elvira Albert، نويسنده , , Michael Hanus، نويسنده , , Germ?n Vidal، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2003
Keywords :
programming languages , Formal semantics , Program transformation
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
