Author of the publication

A Development Environment for Horizontal Microcode.

, and . IEEE Trans. Software Eng., 14 (5): 584-594 (1988)

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

A Theory of Type Qualifiers, , and . ACM SIGPLAN Conference on Programming Language and Design, Atlanta, GA, (May 1999)DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data., , , , , , , and . J. Vis. Lang. Comput., 12 (5): 551-571 (2001)Type Systems for Distributed Data Structures., and . POPL, page 199-213. ACM, (2000)Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)., , and . TACS, volume 1281 of Lecture Notes in Computer Science, page 47-76. Springer, (1997)Directional Type Checking of Logic Programs, and . SAS, volume 864 of Lecture Notes in Computer Science, page 43-60. Springer, (1994)Resource-Constrained Software Pipelining., , and . IEEE Trans. Parallel Distributed Syst., 6 (12): 1248-1270 (1995)Fine-grain compilation for pipelined machines., , and . J. Supercomput., 2 (3): 279-295 (1988)Decidability of Systems of Set Constraints with Negative Constraints, , and . Inf. Comput., 122 (1): 30-44 (October 1995)Scalable statistical bug isolation., , , , and . PLDI, page 15-26. ACM, (2005)Partial Online Cycle Elimination in Inclusion Constraint Graphs., , , and . PLDI, page 85-96. ACM, (1998)