From post

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.

 

Другие публикации лиц с тем же именем

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