Write a Blog >>
Tue 20 Jun 2017 09:50 - 10:25 at Vertex WS217 - A Chair(s): Radu Grigore

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.

Tue 20 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: FTfJP 2017 - A at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
FTfJP-2017-papers09:30 - 09:50
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
FTfJP-2017-papers09:50 - 10:25
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
FTfJP-2017-papers10:25 - 10:30
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt