مرکز منطقه ای اطلاع رساني علوم و فناوري - A functional correspondence between call-by-need evaluators and lazy abstract machines

Title of article :

A functional correspondence between call-by-need evaluators and lazy abstract machines

Author/Authors :

Mads Sig Ager، نويسنده , , Olivier Danvy، نويسنده , , Jan Midtgaard، نويسنده ,

Issue Information :

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

Pages :

From page :

223

To page :

232

Keywords :

Abstract machines , Closure conversion , CPS transformation , Program derivation , Interpreters , Functional Programming , Defunctionalization

Journal title :

Information Processing Letters

Serial Year :

2004

Journal title :

Information Processing Letters

Record number :

129904

Link To Document :