kirancodes.me
To Proof Maintenance & Beyond!
Venues / SLE /

SLE 2019

20 papers

  1. A feature-based classification of triple graph grammar variants · Nils Weidmann, Robin Oppermann, Patrick Robrecht
  2. A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation · David Broman
  3. Analysis and modeling of the governance in general programming languages · Javier Luis Cánovas Izquierdo, Jordi Cabot
  4. Breaking parsers: mutation-based generation of programs with guaranteed syntax errors · Moeketsi Raselimo, Jan Taljaard, Bernd Fischer
  5. Consistency management via a combination of triple graph grammars and linear programming · Nils Weidmann, Anthony Anjorin, Erhan Leblebici, Andy Schürr
  6. Default disambiguation for online parsers · Lukas Diekmann, Laurence Tratt
  7. Detecting and exploring side effects when repairing model inconsistencies · Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed
  8. Developing a monadic type checker for an object-oriented language: an experience report · Elias Castegren, Kiko Fernandez-Reyes
  9. Domain-specific model differencing in visual concrete syntax · Manouchehr Zadahmad, Eugene Syriani, Omar Alam, Esther Guerra, Juan de Lara
  10. Efficient late binding of dynamic function compositions · Lars Schütze, Jerónimo Castrillón
  11. Empirical study on the usage of graph query languages in open source Java projects · Philipp Seifer, Johannes Härtel, Martin Leinberger, Ralf Lämmel, Steffen Staab
  12. From DSL specification to interactive computer programming environment · Pierre Jeanjean, Benoît Combemale, Olivier Barais
  13. Generating incremental type services · André Pacak, Sebastian Erdweg
  14. High-level mission specification for multiple robots · Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures
  15. Multiple lexicalisation (a Java based study) · Elizabeth Scott, Adrian Johnstone
  16. Operationalizing the integration of user interaction specifications in the synthesis of modeling editors · Vasco Sousa, Eugene Syriani, Khady Fall
  17. Shadow models: incremental transformations for MPS · Markus Voelter, Klaus Birken, Sascha Lisson, Alexander Rimer
  18. Spectrum-based fault localization for context-free grammars · Moeketsi Raselimo, Bernd Fischer
  19. The lands platform: lan.guages and d.omain s.yntax · Nick Papoulias
  20. Transactional editing: giving ACID to programmers · Friedrich Steimann, Nils Kurowsky