Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers von Porkolab, Zoltan, Zsok, Viktoria

Volltext

Using Version Control Information to Visualize Developers' Knowledge von Fekete, Anett, Porkoláb, Zoltán

Volltext

Refactoring to Standard C++20 Modules von Szalay, Richárd, Porkoláb, Zoltán

Volltext

A comprehensive review on software comprehension models von Fekete, Anett, Porkoláb, Zoltán

Volltext

Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses von Umann, Kristóf, Horváth, Gábor, Porkoláb, Zoltán

Volltext

Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers von Zsok, Viktoria, Porkolab, Zoltan, Horvath, Zoltan

Volltext

Detecting Uninitialized Variables in C++ with the Clang Static Analyzer von Umann, Kristóf, Porkoláb, Zoltán

Volltext

Type Inference of Simple Recursive Functions in Scala von Nagy, Gergely, Oláh, Gábor, Porkoláb, Zoltán

Volltext

Loop optimizations in C and C++ compilers: an overview von Kovács, Réka, Porkoláb, Zoltán

Volltext

Improved Loop Execution Modeling in the Clang Static Analyzer von Szécsi, Péter György, Horváth, Gábor, Porkoláb, Zoltán

Volltext

Traquest Model: A Novel Model for ACID Concurrent Computations von Rátai, Dániel Balázs, Horváth, Zoltán, Porkoláb, Zoltán, Tóth, Melinda

Volltext

Unit Testing in C++ with Compiler Instrumentation and Friends von Márton, Gábor, Porkoláb, Zoltán

Volltext

Automatic Checking of the Usage of the C++11 Move Semantics von Baráth, Áron, Porkoláb, Zoltán

Volltext

Semantic User Interfaces von Tilly, Károly, Porkoláb, Zoltán

Volltext

4D Ariadne the Static Debugger of Java Programs von Szugyi, Zalan, gacs, Istvan, Porkolab, Zoltan

Volltext

TOWARDS A HIGH-LEVEL C++ ABSTRACTION TO UTILIZE THE READ-COPY-UPDATE PATTERN von Márton, Gábor, Szekeres, Imre, Porkoláb, Zoltán

Volltext

Domain-specific language integration with compile-time parser generator library von Porkolab, Zoltán, Sinkovics, Ábel

Volltext

A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming von PORKOLAB, Zoltan, ZOLYOMI, Istvan

Volltext

Detecting lifetime errors of std::string_view objects in C++ von Kovacs, Reka, Horvath, Gabor, Porkolab, Zoltan

Volltext bestellen

Scaling Symbolic Execution to Large Software Systems von Horvath, Gabor, Kovacs, Reka, Porkolab, Zoltan

Volltext bestellen