Vissza |
Baráth Áron; Porkoláb Zoltán: Automatic checking of the usage of the C++ move semantics. In: Acta cybernetica, (22) 1. pp. 5-20. (2015)
Baráth Áron; Ispánovics Gábor Alex; Porkoláb Zoltán: Checking binary compatibility for modern programming language.
Baráth Áron; Porkoláb Zoltán: Language support for high-level worst-case execution time estimation.