Author of the publication

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 framework for using formal methods in object-oriented software development., and . OOPS Messenger, 3 (2): 9-10 (1992)Substad: For Fast Substitution in LISP, with an Application on Unification.. Inf. Process. Lett., 7 (1): 58-62 (1978)Formal Techniques for OO Software Development (Panel)., , , , , , and . OOPSLA, page 166-170. ACM, (1991)SIGPLAN Notices 26(11) / OOPSLA'91, Addendum to the Proceedings: OOPS Messenger 3(4) October 1992.Bidirectional Heuristic Search Again. J. ACM, 30 (1): 22-32 (January 1983)Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space., and . ECAI, page 180-182. (1982)Symbolic Evaluation of LISP Functions with Side Effects for Verification., and . IJCAI, page 519-524. William Kaufmann, (1981)Artificial intelligence for object-oriented software engineering., , , and . OOPS Messenger, 5 (4): 127-130 (1994)Structured Analysis and Object Oriented Analysis (Panel)., , , , , and . OOPSLA/ECOOP, page 135-139. ACM, (1990)SIGPLAN Notices 25(10).The OO Software Development Process (Panel)., , , , , and . OOPSLA, page 484-489. ACM, (1992)SIGPLAN Notices 27(10) / OOPSLA'92, Addendum to the Proceedings: OOPS Messenger 4(2) April 1993.The Geneva convention on the treatment of object aliasing., , , , and . OOPS Messenger, 3 (2): 11-16 (1992)