TY - THES AU - Horpácsi, Dániel TI - Verification and Application of Program Transformations PB - Eötvös Loránd Tudományegyetem (ELTE) PY - 2019 SP - 116 DO - 10.15476/ELTE.2018.170 UR - https://m2.mtmt.hu/api/publication/30548287 ID - 30548287 LA - English DB - MTMT ER - TY - THES AU - Pataki, Norbert TI - Generatív programok helyessége PY - 2013 SP - 134 UR - https://m2.mtmt.hu/api/publication/2361256 ID - 2361256 LA - Hungarian DB - MTMT ER - TY - JOUR AU - Szűgyi, Zalán AU - Pataki, Norbert AU - Mihalicza, József TI - Subtle Methods in C++ JF - ACTA ELECTROTECHNICA ET INFORMATICA J2 - ACTA ELECTROTECH INF VL - 11 PY - 2011 IS - 3 SP - 11 EP - 16 PG - 6 SN - 1335-8243 DO - 10.2478/v10198-011-0023-x UR - https://m2.mtmt.hu/api/publication/1993876 ID - 1993876 AB - Nowadays complex software systems are designed and implemented with the help of the object-oriented paradigm principally. However, object-oriented languages support the object-oriented paradigm in different ways with different constructs. C++ has a sophisticated inheritence notation based on access modifiers. C++ distinguishes virtual, pure virtual and non-virtual methods. Java uses final classes and methods to disable inheritance. However, Java does not support multiple inheritance. Eiffel allows renaming inherited methods. In this paper we present some method utilites for C++ to create safer and more flexible object-oriented systems. We present how the method renaming can be implemented. We developed constructs to create final and unhidable methods. These constructs are implemented with the help of C++ template facilities. We present scenarios where one can write safer code with our constructs. LA - English DB - MTMT ER -