( en | de | ru )

 

Disambiguation of "Reps, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
The Why and Wherefore of the Cornell Program Synthesizer

, , and . ACM SIGPLAN Notices, 16 (6): 8--16 (June 1981)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Markus Reps

Christian Repschläger

Ingeborg Reps

Albert Reps

Bruno Reps

 

Other publications of authors with the same name

Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. Acta Informatica, 25 (2): 155--178 (1988)The Synthesizer Generator Reference Manual, and . Springer-Verlag, New York--Heidelberg--Berlin, 3rd edition, (1989)Sublinear-Space Evaluation Algorithms for Attribute Grammars, and . ACM Trans. Progr. Languages and Systems, 9 (3): 408--440 (July 1987)Design and Implementation of a Fine-Grained Software Inspection Tool, , and . IEEE Transactions on Software Engineering, 29 (8): 721--733 (2003)Parametric shape analysis via 3-valued logic, , and . ACM Trans. Program. Lang. Syst., 24 (3): 217--298 (2002)The Synthesizer Generator, and . Springer-Verlag, New York--Heidelberg--Berlin, (1989)Sublinear-Space Evaluation Algorithms for Attribute Grammars, and . Technical Report, CORNELLCS//TR84-630. Cornell University, Computer Science Department, (August 1984)The Why and Wherefore of the Cornell Program Synthesizer, , and . ACM SIGPLAN Notices, 16 (6): 8--16 (June 1981)Static-Semantics Analysis in Language-based Editors. Digest of Papers of the IEEE Spring CompCon 83, San Francisco, CA, (March 1983)Context Relations Implemented with Attribute Grammars, and . manuscript, Department of Comp. Sc., Cornell University, Ithaca, NY, (January 1986)