Skip to main content
Skip to main navigation menu
Skip to site footer
Acta Cybernetica
Current
Archives
Announcements
About
About the Journal
Submissions
Editorial Team
Contact
Search
Search
Register
Login
Home
/
Archives
/
Accepted papers
Published:
2020-08-06
Selected papers of STCS 2019
Type Inference of Simple Recursive Functions in Scala
Gergely Nagy, Gábor Oláh, Zoltán Porkoláb
PDF
Report on the Differential Testing of Static Analyzers
Gabor Horvath, Reka Nikolett Kovacs, Peter Szecsi
PDF
Improved Loop Execution Modeling in the Clang Static Analyzer
Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb
PDF
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
Kristóf Umann, Zoltán Porkoláb
PDF
Special Issue of SWIM 2019
Interval-Based Simulation of Zélus IVPs using DynIbex
Jason Brown, François Pessaux
PDF
Toward the Development of Iteration Procedures for the Interval-Based Simulation of Fractional-Order Systems
Andreas Rauh, Julia Kersten
PDF
Open Journal Systems
Information
For Readers
For Authors
For Librarians
Make a Submission
Most read in last month
Geometric Newton-Raphson methods for plane curves
94
Prosper : developing web applications strongly integrated with Prolog
67
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
48
Unit testing in C++ with compiler instrumentation and friends
35
A Preparation Guide for Java Call Graph Comparison
28
Current Issue