Lambda-dropping: transforming recursive equations into programs with block structure

Author： Danvy O.   Schultz U.P.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.248, Iss.1, 2000-10, pp. : 243-287

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Framework for Generating Distributed-Memory Parallel Programs for Block Recursive Algorithms

By Gupta S.K.S.   Huang C.-.H.   Sadayappan P.   Johnson R.W.  

Journal of Parallel and Distributed Computing, Vol. 34, Iss. 2, 1996-05 ,pp. : 137-153

Academic Press

Access to resources Recommend Favorite

Fusion of recursive programs with computational effects

By Pardo A.  

Theoretical Computer Science, Vol. 260, Iss. 1, 2001-06 ,pp. : 165-207

Elsevier

Access to resources Recommend Favorite

On the Equivalence of Recursive and Nonrecursive Datalog Programs

By Chaudhuri S.   Vardi M.Y.  

Journal of Computer and System Sciences, Vol. 54, Iss. 1, 1997-02 ,pp. : 61-78

Academic Press

Access to resources Recommend Favorite

Transforming constraint logic programs

By Bensaou N.   Guessarian I.  

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 81-125

Elsevier

Access to resources Recommend Favorite

AN INTERACTIVE FUZZY SATISFICING METHOD FOR MULTIOBJECTIVE LINEAR FRACTIONAL PROGRAMS WITH BLOCK ANGULAR STRUCTURE

By Kato Kosuke   Sakawa Masatoshi  

Cybernetics and Systems, Vol. 28, Iss. 3, 1997-04 ,pp. : 245-262

Taylor & Francis Ltd

Access to resources Recommend Favorite