Selected papers of STCS 2019

• Towards a Generic Framework for Trustworthy Program Refactoring

  Dániel Horpácsi, Judit Kőszegi, Dávid J. Németh

  753-779

  • PDF
• Report on the Differential Testing of Static Analyzers

  Gábor Horváth, Réka Nikolett Kovács, Péter Szécsi

  781-795

  • PDF
• Type Inference of Simple Recursive Functions in Scala

  Gergely Nagy, Gábor Oláh, Zoltán Porkoláb

  797-815

  • PDF
• Adaptation of a Refactoring DSL for the Object-Oriented Paradigm

  Dávid J. Németh, Dániel Horpácsi, Máté Tejfel

  817-846

  • PDF
• A Modern Look at GRIN, an Optimizing Functional Language Back End

  Peter Podlovics, Csaba Hruska, Andor Pénzes

  847-876

  • PDF
• Visualisation of Jenkins Pipelines

  Ádám Révész, Norbert Pataki

  877-895

  • PDF
• Instantiation of Java Generics

  Péter Soha, Norbert Pataki

  897-908

  • PDF
• Improved Loop Execution Modeling in the Clang Static Analyzer

  Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb

  909-921

  • PDF
• Detecting Uninitialized Variables in C++ with the Clang Static Analyzer

  Kristóf Umann, Zoltán Porkoláb

  923-940

  • PDF