JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code

Sara Pérez-Soler, Juan de Lara. JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code. In Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, editors, Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. Volume 2019 of CEUR Workshop Proceedings, pages 475-478, CEUR-WS.org, 2017. [doi]

Abstract

Abstract is missing.