Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Paige, Robert - Computer Science Department, Courant Institute of Mathematics, New York University
Program Derivation by Fixed Point Computation Jiazhen Cai and Robert Paige
Program Derivation With Verified Transformations ---A Case Study
Transformational Design and Implementation Of A New Efficient
A Geometric Constraint Solver William Bouma \Lambda Ioannis Fudos y Christoph Hoffmann \Lambda
Atlantique Research Overview Robert A. Paige
v1 := A BASE(v1).T3 ; \Gamma\Gamma iterate through T3.
Future Directions In Program Transformations 1 New York University
Realtime Simulation of a Set Machine on a RAM Robert Paige 1
Efficient Translation of External Input in a Dynamically Typed Language Robert Paige *
Using Multiset Discrimination To Solve Language Processing Problems Without Hashing 1
Viewing A Program Transformation System At Work Robert Paige \Lambda
From Regular Expressions to DFA's Using Compressed NFA's \Lambda
Towards Increased Productivity of Algorithm Implementation Jiazhen Cai and Robert Paige
