PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / ECOOP 2017 (series) / FTfJP 2017 (series) / (Formal Techniques for Java-like Programs) /
Formal Analysis of Object-Oriented Mograms
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
09:30 - 09:50 Talk | Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK Pre-print | |||||||||||||||||||||||||||||||||||||||||
09:50 - 10:25 Talk | ||||||||||||||||||||||||||||||||||||||||||
10:25 - 10:30 Talk | Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt Pre-print |