Author of the publication

Deriving Structures from Structures.

, , , , and . MFCS, volume 64 of Lecture Notes in Computer Science, page 177-190. Springer, (1978)

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.

 

Other publications of authors with the same name

Efficiently Computing Static Single Assignment Form and the Control Dependence Graph., , , , and . ACM Trans. Program. Lang. Syst., 13 (4): 451-490 (1991)preliminary version: POPL 1989: 25-35.Applications of High-Level Control Flow.. POPL, page 38-47. ACM, (1977)Linear Cost is Sometimes Quadratic.. POPL, page 117-124. ACM Press, (1981)Tree-Manipulating Systems and Church-Rosser Theorems. STOC, page 117-127. ACM, (1970)Monoids for Rapid Data Flow Analysis.. SIAM J. Comput., 9 (1): 159-196 (1980)Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits., , , and . ITC, page 722-731. IEEE Computer Society, (1985)Transition Fault Simulation by Parallel Pattern Single Fault Propagation., , , and . ITC, page 542-551. IEEE Computer Society, (1986)HSS--A High-Speed Simulator., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (4): 601-617 (1987)Stickiness and liveness.. ACM SIGPLAN Notices, 14 (2): 44-45 (1979)Decomposition of Heterogeneous Classification Problems., , , , , and . IDA, volume 1280 of Lecture Notes in Computer Science, page 17-28. Springer, (1997)