Formal analysis of object-oriented mograms

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017
PublisherACM Press
Pages1-6
Number of pages6
ISBN (Electronic)9781450350983
DOIs
Publication statusPublished - 18 Jun 2017
Event19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Barcelona, Spain
Duration: 20 Jun 2017 → …

Publication series

NameProceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17

Conference

Conference19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017
CountrySpain
CityBarcelona
Period20/06/17 → …

Keywords

  • Formal verification
  • OO languages
  • Semantics
  • Formal Verification
  • OO Languages

Fingerprint

Dive into the research topics of 'Formal analysis of object-oriented mograms'. Together they form a unique fingerprint.

Cite this