Formalizing Object-Oriented Models in the Object Calculus

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum. Formalizing Object-Oriented Models in the Object Calculus. In Jan Bosch, Stuart Mitchell, editors, Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Volume 1357 of Lecture Notes in Computer Science, pages 155-160, Springer, 1997. [doi]

Authors

Juan Bicarregui

This author has not been identified. It may be one of the following persons: Look up 'Juan Bicarregui' in Google

Kevin Lano

This author has not been identified. Look up 'Kevin Lano' in Google

T. S. E. Maibaum

This author has not been identified. Look up 'T. S. E. Maibaum' in Google