Gyűjtemény: Selected papers of STCS 2019

Archívum: Acta Cybernetica
Tárolt tételek száma:9
Tartalmi leírás:

  • Tételek
Szűkítés: Eleje Előző 1 - 9 / 9 Következő Vége
text
A Modern Look at GRIN, an Optimizing Functional Language Back End
Tartalom | Metaadatok
Podlovics, Peter; Hruska, Csaba; Pénzes, Andor
text
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm
Tartalom | Metaadatok
Németh, Dávid J.; Horpácsi, Dániel; Tejfel, Máté
text
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
Tartalom | Metaadatok
Umann, Kristóf; Porkoláb, Zoltán
text
Improved Loop Execution Modeling in the Clang Static Analyzer
Tartalom | Metaadatok
Szécsi, Péter György; Horváth, Gábor; Porkoláb, Zoltán
text
Instantiation of Java Generics
Tartalom | Metaadatok
Soha, Péter; Pataki, Norbert
text
Report on the Differential Testing of Static Analyzers
Tartalom | Metaadatok
Horváth, Gábor; Kovács, Réka Nikolett; Szécsi, Péter
text
Towards a Generic Framework for Trustworthy Program Refactoring
Tartalom | Metaadatok
Horpácsi, Dániel; Kőszegi, Judit; Németh, Dávid J.
text
Type Inference of Simple Recursive Functions in Scala
Tartalom | Metaadatok
Nagy, Gergely; Oláh, Gábor; Porkoláb, Zoltán
text
Visualisation of Jenkins Pipelines
Tartalom | Metaadatok
Révész, Ádám; Pataki, Norbert
Szűkítés: Eleje Előző 1 - 9 / 9 Következő Vége