مرکز منطقه ای اطلاع رساني علوم و فناوري - Ensuring the quasi-termination of needed narrowing computations

Title of article :

Ensuring the quasi-termination of needed narrowing computations

Author/Authors :

J. Guadalupe Ramos، نويسنده , , Josep Silva، نويسنده , , Germ?n Vidal، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2007

Pages :

From page :

220

To page :

226

Keywords :

programming languages , functional programming , Formal semantics

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130385

Link To Document :