A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.
CITATION STYLE
Amrani, M., & Schobbens, P. Y. (2017). Formal analysis of object-oriented mograms. In Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. Association for Computing Machinery, Inc. https://doi.org/10.1145/3103111.3104042
Mendeley helps you to discover research relevant for your work.