All Stories

  1. The concept of class invariant in object-oriented programming

    Article • Formal Aspects of Computing, January 2024, ACM (Association for Computing Machinery)

    Alexander Kogtenkov

  2. Null safety benchmarks for object initialization

    Article • Proceedings of the Institute for System Programming of RAS, January 2017, Institute for System Programming of the Russian Academy of Sciences

    Alexander Kogtenkov

  3. Towards Null Safety Benchmarks for Object Initialization

    Article • Modeling and Analysis of Information Systems, January 2017, P.G. Demidov Yaroslavl State University

    Alexander Kogtenkov

  4. Practical Void Safety

    Article • January 2017, Springer Science + Business Media

    Alexander Kogtenkov

  5. Mechanically Proved Practical Local Null Safety

    Article • Proceedings of the Institute for System Programming of RAS, January 2016, Institute for System Programming of the Russian Academy of Sciences

    Alexander Kogtenkov

  6. Alias calculus, change calculus and frame inference

    Article • Science of Computer Programming, January 2015, Elsevier

    Alexander Kogtenkov

  7. Negative Variables and the Essence of Object-Oriented Programming

    Article • January 2014, Springer Science + Business Media

    Alexander Kogtenkov

  8. Processors and Their Collection

    Article • January 2012, Springer Science + Business Media

    Alexander Kogtenkov

  9. Avoid a Void: The Eradication of Null Dereferencing

    Article • January 2010, Springer Science + Business Media

    Alexander Kogtenkov