The Abstract Interpretation of Hybrid Rule/Frame-Based Systems

Rick Evertsz, Enrico Motta. The Abstract Interpretation of Hybrid Rule/Frame-Based Systems. In Matthew Grisoni, editor, Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. pages 39-53, Logica Ltd., Cambridge, UK, 1991.

Abstract

Abstract is missing.