Towards strengthening software library interfaces with granular and interactive type migrations

R Szalay - 2023 IEEE/ACM 45th International Conference on …, 2023 - ieeexplore.ieee.org
The interface boundaries of software projects are a crucial perimeter from both a design and
security point of view. Design decisions of libraries will inadvertently affect client code which …

[PDF][PDF] Using Strong Types in C++ for Long-term Code Management

R Szalay, Z Porkoláb - … : Promoting Sustainability as a Fundamental Driver …, 2022 - arxiv.org
When using programming languages, type systems are crucial tools in the hands of
developers to guarantee an elevated level of safety of their programs. However type systems …