Áron Baráth

According to our database, Áron Baráth authored at least 6 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2019

Towards Safer Programming Language Constructs

Áron Baráth

PhD thesis, 2019

2017

Welltype: Language elements for multiparadigm programming.

Áron Baráth, Zoltán Porkoláb

Proceedings of the Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2015

Automatic Checking of the Usage of the C++11 Move Semantics.

Áron Baráth, Zoltán Porkoláb

Acta Cybern., 2015

Compile-time Unit Testing.

Áron Baráth, Zoltán Porkoláb

Proceedings of the 4th Workshop on Software Quality Analysis, 2015

Life without implicit casts: safe type system in C++.

Áron Baráth, Zoltán Porkoláb

Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

2014

Attribute-based Checking of C++ Move Semantics.

Áron Baráth, Zoltán Porkoláb

Proceedings of the 3rd Workshop on Software Quality Analysis, 2014