Follow
Alexander Kogtenkov
Alexander Kogtenkov
Computer Software Consultant, Software Development Tools Expert, Researcher
Verified email at sit.org - Homepage
Title
Cited by
Cited by
Year
Avoid a void: The eradication of null dereferencing
B Meyer, A Kogtenkov, E Stapf
Reflections on the Work of CAR Hoare, 189-211, 2010
202010
Alias calculus, change calculus and frame inference
A Kogtenkov, B Meyer, S Velder
Science of Computer Programming 97 (Part 1), 163-172, 2015
132015
Mechanically Proved Practical Local Null Safety
AV Kogtenkov
Proceedings of the Institute for System Programming of the RAS 28 (5), 27-54, 2016
82016
Negative variables and the essence of object-oriented programming
B Meyer, A Kogtenkov
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
72014
Eiffel analysis, design and programming language
E Bezault, M Howard, A Kogtenkov, B Meyer, E Stapf
ECMA International, Tech. Rep. ECMA-367, 2005
52005
Alias and change calculi, applied to frame inference
A Kogtenkov, B Meyer, S Velder
arXiv preprint arXiv:1307.3189, 2013
42013
Practical Void Safety
A Kogtenkov
Andrei Paskevich, Thomas Wies (eds) Verified Software. Theories, Tools, and …, 2017
32017
The concept of class invariant in object-oriented programming
B Meyer, A Arkadova, A Kogtenkov
Formal Aspects of Computing 36 (1), 1-38, 2024
22024
Towards Null Safety Benchmarks for Object Initialization
AV Kogtenkov
Modeling and Analysis of Information Systems 24 (6), 718-729, 2017
22017
Void safety
A Kogtenkov
ETH Zurich, 2017
22017
Processors and their collection
B Meyer, A Kogtenkov, A Akhi
Multicore Software Engineering, Performance, and Tools: International …, 2012
22012
Lessons from Formally Verified Deployed Software Systems (Extended version)
L Huang, S Ebersold, A Kogtenkov, B Meyer, Y Liu
arXiv preprint arXiv:2301.02206, 2023
12023
Open compiling machine
AV Kogtenkov, AS Shestialtynov, AV Tischeko
WOON'98, the white object-oriented Nights, 1998: Third International …, 1998
11998
Lessons from Formally Verified Deployed Software Systems.
L Huang, S Ebersold, A Kogtenkov, A Naumchev, B Meyer, Y Liu, ...
CoRR, 2023
2023
Making void safety practical
A Kogtenkov
System Informatics, 45-56, 2017
2017
Null pointer dereferencing: program safety (invited talk)
A Kogtenkov
Program semantics, specifications, and verification, 4-4, 2017
2017
Null safety benchmarks for object initialization
AV Kogtenkov
Труды Института системного программирования РАН 29 (6), 135-150, 2017
2017
Void Safety: Putting an End To the Plague of Null Dereferencing
ES Bertrand Meyer, Alexander Kogtenkov
Dr.Dobb's, 2009
2009
ISO/IEC 25436:2006 (E): Information technology – Eiffel: Analysis, Design and Programming Language. 1st edition.
ISO/IEC, 2006
2006
Standard ECMA-367. Eiffel: analysis, design and programming language. 2nd edition
Ecma International®, 2006
2006
The system can't perform the operation now. Try again later.
Articles 1–20