Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site sbcs.UUCP
Path: utzoo!linus!philabs!sbcs!debray
From: debray@sbcs.UUCP (Saumya Debray)
Newsgroups: net.lang,net.lang.lisp
Subject: loop optimization in applicative languages
Message-ID: <435@sbcs.UUCP>
Date: Tue, 20-Aug-85 10:11:58 EDT
Article-I.D.: sbcs.435
Posted: Tue Aug 20 10:11:58 1985
Date-Received: Fri, 23-Aug-85 07:39:08 EDT
Distribution: net
Organization: Computer Science Dept, SUNY@Stony Brook
Lines: 14
Xref: linus net.lang:1506 net.lang.lisp:474

I'm looking for references to work that has been done on loop optimization
in applicative languages.  I know about TRO, research on recursion
removal, and Ullman, Fong et al.'s work on induction variable elimination in
very high level languages.  I'm thinking of the kinds of loop optimization
usually associated with imperative languages (loop jamming, code motion etc.)
Any help in this matter will be appreciated.  If there's sufficient interest,
of course, I'll summarize and post to the net.
-- 
Saumya Debray
SUNY at Stony Brook

	uucp: {allegra, hocsd, philabs, ogcvax} !sbcs!debray
	arpa: debray%suny-sb.csnet@csnet-relay.arpa
	CSNet: debray@sbcs.csnet