Future directions in program transformations

[1]  Deepak Goyal,et al.  The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset , 1997, Algorithmic Languages and Calculi.

[2]  Gerth Stølting Brodal,et al.  Optimal purely functional priority queues , 1996, Journal of Functional Programming.

[3]  Arne Andersson,et al.  Sublogarithmic searching without multiplications , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[4]  Robert Paige,et al.  Using Multiset Discrimination to Solve Language Processing Problems Without Hashing , 1995, Theor. Comput. Sci..

[5]  Robert Paige,et al.  Towards increased productivity of algorithm implementation , 1993, SIGSOFT '93.

[6]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[7]  Robert Paige,et al.  Real-time Simulation of a Set Machine on a Ram , 1989 .

[8]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[9]  Thomas Reps,et al.  The Synthesizer Generator: A System for Constructing Language-Based Editors , 1988 .

[10]  Robert E. Tarjan,et al.  Making data structures persistent , 1986, STOC '86.

[11]  Robert Paige,et al.  Programming with Invariants , 1986, IEEE Software.

[12]  Robert E. Tarjan,et al.  A Linear Time Solution to the Single Function Coarsest Partition Problem , 1985, Theor. Comput. Sci..

[13]  Karl J. Ottenstein,et al.  A program form based on data dependency in predicate regions , 1983, POPL '83.

[14]  Robert Paige,et al.  Finite Differencing of Computable Expressions , 1982, TOPL.

[15]  Robert Paige,et al.  A Transformational Framework for the Automatic Control of Derived Data , 1981, VLDB.

[16]  Ken Kennedy,et al.  An algorithm for reduction of operator strength , 1977, Commun. ACM.

[17]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[18]  Jeffrey D. Ullman,et al.  Induction variables in very high level languages , 1976, POPL.