Ferrante, Jeanne; Ottenstein, Karl J.; Warren, Joe D. The program dependence graph and its use in optimization. (English) Zbl 0623.68012 ACM Trans. Program. Lang. Syst. 9, 319-349 (1987). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{J. Ferrante} et al., ACM Trans. Program. Lang. Syst. 9, 319--349 (1987; Zbl 0623.68012) Full Text: DOI Link
Hennessy, Matthew Proving systolic systems correct. (English) Zbl 0598.68030 ACM Trans. Program. Lang. Syst. 8, 344-387 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. Hennessy}, ACM Trans. Program. Lang. Syst. 8, 344--387 (1986; Zbl 0598.68030) Full Text: DOI Link
Pingali, Keshav; Arvind Efficient demand-driven evaluation. II. (English) Zbl 0596.68024 ACM Trans. Program. Lang. Syst. 8, 109-139 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Pingali} and \textit{Arvind}, ACM Trans. Program. Lang. Syst. 8, 109--139 (1986; Zbl 0596.68024) Full Text: DOI Link
Pingali, Keshav; Arvind Clarification of ”Feeding inputs on demand” in efficient demand-driven evaluation. I. (English) Zbl 0596.68023 ACM Trans. Program. Lang. Syst. 8, 140-141 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Pingali} and \textit{Arvind}, ACM Trans. Program. Lang. Syst. 8, 140--141 (1986; Zbl 0596.68023) Full Text: DOI Link
Nielson, Flemming Program transformations in a denotational setting. (English) Zbl 0566.68013 ACM Trans. Program. Lang. Syst. 7, 359-379 (1985). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Nielson}, ACM Trans. Program. Lang. Syst. 7, 359--379 (1985; Zbl 0566.68013) Full Text: DOI Link Link
Bird, R. S. The promotion and accumulation strategies in transformational programming. (English) Zbl 0542.68006 ACM Trans. Program. Lang. Syst. 6, 487-504 (1984). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{R. S. Bird}, ACM Trans. Program. Lang. Syst. 6, 487--504 (1984; Zbl 0542.68006) Full Text: DOI
Colussi, L. Recursion as an effective step in program development. (English) Zbl 0522.68016 ACM Trans. Program. Lang. Syst. 6, 55-67 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Colussi}, ACM Trans. Program. Lang. Syst. 6, 55--67 (1984; Zbl 0522.68016) Full Text: DOI
Maher, B.; Sleeman, D. H. Automatic program improvement: Variable usage transformations. (English) Zbl 0516.68017 ACM Trans. Program. Lang. Syst. 5, 236-264 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Maher} and \textit{D. H. Sleeman}, ACM Trans. Program. Lang. Syst. 5, 236--264 (1983; Zbl 0516.68017) Full Text: DOI
Williams, John H. On the development of the algebra of functional programs. (English) Zbl 0492.68018 ACM Trans. Program. Lang. Syst. 4, 733-757 (1982). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. H. Williams}, ACM Trans. Program. Lang. Syst. 4, 733--757 (1982; Zbl 0492.68018) Full Text: DOI
Broy, Manfred; Krieg-Brückner, Bernd Derivation of invariant assertions during program development by transformation. (English) Zbl 0468.68016 ACM Trans. Program. Lang. Syst. 2, 321-337 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Broy} and \textit{B. Krieg-Brückner}, ACM Trans. Program. Lang. Syst. 2, 321--337 (1980; Zbl 0468.68016) Full Text: DOI