Robert Paige

According to our database, Robert Paige authored at least 36 papers between 1977 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

A link-free approach for testing common indices for three or more multi-index models.

Xuejing Liu, Lei Huo, Xuerong Meggie Wen, Robert Paige

J. Multivar. Anal., 2017

2015

On testing common indices for two multi-index models: A link-free approach.

Xuejing Liu, Zhou Yu, Xuerong Meggie Wen, Robert Paige

J. Multivar. Anal., 2015

2005

An NSF Proposal.

Robert Paige

High. Order Symb. Comput., 2005

1998

A New Solution to the Hidden Copy Problem.

Deepak Goyal, Robert Paige

Proceedings of the Static Analysis, 5th International Symposium, 1998

1997

From Regular Expressions to DFA's Using Compressed NFA's.

Chia-Hsiang Chang, Robert Paige

Theor. Comput. Sci., 1997

Future Directions In Program Transformations.

Robert Paige

ACM SIGPLAN Notices, 1997

High Level Reading and Data Structure Compilation.

Robert Paige, Zhe Yang

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset.

Deepak Goyal, Robert Paige

Proceedings of the Algorithmic Languages and Calculi, 1997

1995

Using Multiset Discrimination to Solve Language Processing Problems Without Hashing.

Jiazhen Cai, Robert Paige

Theor. Comput. Sci., 1995

Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem.

Bard Bloom, Robert Paige

Sci. Comput. Program., 1995

Geometric constraint solver.

William Bouma, Ioannis Fudos, Christoph M. Hoffmann, Jiazhen Cai, Robert Paige

Comput. Aided Des., 1995

Mona: Monadic Second-Order Logic in Practice.

Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1994

Efficient Translation of External Input in a Dynamically Typed Language.

Robert Paige

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Viewing A program Transformation System At Work.

Robert Paige

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

Towards Increased Productivity of Algorithm Implementation.

Jiazhen Cai, Robert Paige

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

1992

More Efficient Bottom-Up Multi-Pattern Matching in Trees.

Jiazhen Cai, Robert Paige, Robert Endre Tarjan

Theor. Comput. Sci., 1992

Computing Ready Simulations Efficiently.

Bard Bloom, Robert Paige

Proceedings of the NAPAW 92, 1992

1991

"Look Ma, No Hashing, And No Arrays Neither".

Jiazhen Cai, Robert Paige

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Language Polynomial in the Input Plus Output.

Jiazhen Cai, Robert Paige

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Symbolic Finite Differencing - Part I.

Robert Paige

Proceedings of the ESOP'90, 1990

More Efficient Bottom-Up Tree Pattern Matching.

Jiazhen Cai, Robert Paige, Robert Endre Tarjan

Proceedings of the CAAP '90, 1990

1989

Program Derivation by Fixed Point Computation.

Jiazhen Cai, Robert Paige

Sci. Comput. Program., 1989

1987

Three Partition Refinement Algorithms.

Robert Paige, Robert Endre Tarjan

SIAM J. Comput., 1987

Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study.

Robert Paige, Fritz Henglein

J. Symb. Comput., 1987

Binding Performance at Language Design Time.

Jiazhen Cai, Robert Paige

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

On O(n log n) Cost Parallel Algorithm for the Single Function Coarsest Partition Problem.

Alberto Apostolico, Costas S. Iliopoulos, Robert Paige

Proceedings of the Parallel Algorithms and Architectures, 1987

1986

Programming with Invariants.

Robert Paige

IEEE Softw., 1986

1985

A Linear Time Solution to the Single Function Coarsest Partition Problem.

Robert Paige, Robert Endre Tarjan, Robert Bonic

Theor. Comput. Sci., 1985

1984

Stream Processing.

Allen Goldberg, Robert Paige

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem.

Robert Paige, Robert Endre Tarjan

Proceedings of the Automata, 1984

1983

Transformational Programming - Applications to Algorithms and Systems.

Robert Paige

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982

Finite Differencing of Computable Expressions.

Robert Paige, Shaye Koenig

ACM Trans. Program. Lang. Syst., 1982

Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization.

Robert Paige

Proceedings of the Advances in Data Base Theory, 1982

1981

A Transformational Framework for the Automatic Control of Derived Data

Shaye Koenig, Robert Paige

Proceedings of the Very Large Data Bases, 1981

1979

Expression Continuity and the Formal Differentiation of Algorithms.

Robert Paige

PhD thesis, 1979

1977

Reduction in Strength of High Level Operations.

Robert Paige, Jacob T. Schwartz

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977