Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

By Armando A.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 329-356

Springer Publishing Company

Access to resources Recommend Favorite

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

Models and Scheduling Algorithms for Mixed Data and Task Parallel Programs

By Chakrabarti S.   demmel J.   Yelick K.  

Journal of Parallel and Distributed Computing, Vol. 47, Iss. 2, 1997-12 ,pp. : 168-184

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