| OCR Text |
Show 154 [28] D. R. Hanson. Event association in SNOBOL4 for program debugging. Software-Practice and Experience, 8(2): 115-129, March/April 1978. [29] D. Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, editor, Logics and Models of Concurrent Systems, vol. 13, pages 477-498. Springer-Verlag, New York, 1985. [30] J. Heering and P. Klint. Towards monolingual programming environments. ACM Transactions on Programming Languages and Systems, 7(2):183-213, April 1985. [31] J. L. Hennessy and D. A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann Publishers, 1990. [32] C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, N.J., 1985. [33] D. R. Hofstadter. Godel, Escher, Bach: An Eternal Golden Braid. Basic Books, 1979. [34] J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979. [351 K. Hwang and F. A. Briggs. Computer Architecture and Parallel Processinq. McGraw-Hill, 1984. [36] W.-M. W. Hwu and Yale N. Patt. Checkpoint repair for high-performance out-of- order execution machines. IEEE Transactions on Computers, 36(12): 14961514, December 1987. [37] Intel. 80386 programmer's reference manual. Intel Corporation, 1986. [38] D. R. Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404-425, July 1985. [39] S. Josik. Monitoring program execution on the CDC6000 machines. In R. Rustin, editor, Design and Optimization of Compilers, pages 129-136. Prentice-Hall, Englewood Cliffs, N.J., August 1972. [40] J. Joyce, G. Lomow, K. Slind, and B. Unger. Monitoring distributed systems. ACM Transactions on Computer Systems, 5(2): 121-150, May 1987. [41] F. Sellers Jr., M. Y. Hsiao, and L. W. Bearnson. Analyzing errors with the Boolean difference. IEEE Transactions on Computers, 17:676-683, July 1968. [42] G. Kiczales, , and D. G. Bobrow. The Art of Metaobject Protocol. The MIT Press, Cambridge, Massachusetts, 1991. |