Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kogtenkov, Aleksandr Valentinovich
Statistics Math-Net.Ru
Total publications: 3
Scientific articles: 3
Presentations: 1

Number of views:
This page:83
Abstract pages:417
Full texts:488
References:71
Doctor of Science

https://www.mathnet.ru/eng/person124527
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0003-4873-8306

Publications in Math-Net.Ru Citations
2017
1. A. V. Kogtenkov, “Towards null safety benchmarks for object initialization”, Model. Anal. Inform. Sist., 24:6 (2017),  718–729  mathnet  elib
2. A. V. Kogtenkov, “Null safety benchmarks for object initialization”, Proceedings of ISP RAS, 29:6 (2017),  135–150  mathnet  elib
2016
3. A. V. Kogtenkov, “Mechanically proved practical local null safety”, Proceedings of ISP RAS, 28:5 (2016),  27–54  mathnet  elib 2

Presentations in Math-Net.Ru
1. Объектно-ориентированное программирование без встроенных типов
A. V. Kogtenkov
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
April 3, 2024 16:00   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024