Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach

Tarmo Uustalu. Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach. In Ole Lehrmann Madsen, editor, ECOOP 92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings. Volume 615 of Lecture Notes in Computer Science, pages 98-113, Springer, 1992. [doi]

Abstract

Abstract is missing.