A Proposal for a Formal OCL Semantics in Isabelle/HOL

Achim D. Brucker, Burkhart Wolff. A Proposal for a Formal OCL Semantics in Isabelle/HOL. In Victor Carreño, César Muñoz, Sofiène Tahar, editors, Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Volume 2410 of Lecture Notes in Computer Science, pages 99-114, Springer, 2002. [doi]

Abstract

Abstract is missing.