Alexander Kogtenkov

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Topics

Programming Concepts

Development Tools

Clone Detection

Top Venues

Specification, Algebra, and Software

Formal Aspects Comput.

Publications

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
The Concept of Class Invariant in Object-oriented Programming. Formal Aspects Comput. 36 (1) (2024)
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
Lessons from Formally Verified Deployed Software Systems. CoRR (2023)
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev
The concept of class invariant in object-oriented programming. CoRR (2021)
Alexander Kogtenkov
Practical Void Safety. VSTTE (2017)
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias calculus, change calculus and frame inference. Sci. Comput. Program. 97 (2015)
Bertrand Meyer, Alexander Kogtenkov
Negative Variables and the Essence of Object-Oriented Programming. Specification, Algebra, and Software (2014)
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder
Alias and Change Calculi, Applied to Frame Inference. CoRR (2013)
Bertrand Meyer, Alexander Kogtenkov, Anton Akhi
Processors and Their Collection. MSEPT (2012)