The Conceptual Calculus For Automatic Program Understanding

Daniel Goossens. The Conceptual Calculus For Automatic Program Understanding. In Patrick J. Hayes, editor, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981. pages 992-997, William Kaufmann, 1981.

Abstract

Abstract is missing.