Alexander Kogtenkov
Alexander Kogtenkov
Computer Software Consultant, Software Development Tools Expert, Researcher
Verified email at student.ethz.ch - 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
172010
Alias calculus, change calculus and frame inference
A Kogtenkov, B Meyer, S Velder
Science of Computer Programming 97 (Part 1), 163-172, 2015
102015
Mechanically Proved Practical Local Null Safety
AV Kogtenkov
Proceedings of the Institute for System Programming of the RAS 28 (5), 27-54, 2016
72016
Negative variables and the essence of object-oriented programming
B Meyer, A Kogtenkov
Specification, Algebra, and Software, 171-187, 2014
72014
Alias and change calculi, applied to frame inference
A Kogtenkov, B Meyer, S Velder
arXiv preprint arXiv:1307.3189, 2013
42013
Towards Null Safety Benchmarks for Object Initialization
AV Kogtenkov
Modeling and Analysis of Information Systems 24 (6), 718-729, 2017
22017
Practical Void Safety
A Kogtenkov
Andrei Paskevich, Thomas Wies (eds) Verified Software. Theories, Tools, and …, 2017
22017
Void safety
A Kogtenkov
ETH Zurich, 2017
12017
Processors and their collection
B Meyer, A Kogtenkov, A Akhi
International Conference on Multicore Software Engineering, Performance, and …, 2012
12012
Making void safety practical
A Kogtenkov
System Informatics, 45-56, 2017
2017
Null safety benchmarks for object initialization
AV Kogtenkov
Труды Института системного программирования РАН 29 (6), 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
Standard ECMA-367. Eiffel: analysis, design and programming language. 1st edition
Ecma International®, 2005
2005
Order of feature adaptation clauses in Eiffel
AV Kogtenkov
http://www.purl.org/net/kwaxer/paper/oface_1_0.pdf, 2004
2004
Eiffel series on Eiffel technology and Design by Contract™
AV Kogtenkov
BYTE/Russia, 2000
2000
Implementation of Primitive Types and Reusability
AV Kogtenkov
WOON'98, the white object-oriented Nights, 1998: Third International …, 1998
1998
Open compiling machine
AV Kogtenkov, AS Shestialtynov, AV Tischeko
WOON'98, the white object-oriented Nights, 1998: Third International …, 1998
1998
Visual Eiffel - a whole new dimension to object-oriented programming
AV Kogtenkov
WOON’96 and WOON’97, the white object-oriented Nights, 1997 and 1998: First …, 1997
1997
The system can't perform the operation now. Try again later.
Articles 1–20