( en | de | ru )

 

Disambiguation of "Kogtenkov, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Avoid a Void: The Eradication of Null Dereferencing.

, , and . Reflections on the Work of C. A. R. Hoare, Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander

Alexander Stadler

Messtechnische Bestimmung und Simulation der Kernverluste in weichmagnetischen Materialien. Uni Erlangen-Nürnberg, (2009)

Alexander Auch

A phylogenetic potpourri: computational methods for analysing genome scale data. Uni Tübingen, (2010)

Alexander Blecken

A reference task model for supply chain processes of humanitarian organisations. Uni Paderborn, (2009)

Alexander Gocht

Methods in economic farm modelling. Uni Bonn, (2009)
 

Other publications of authors with the same name

Void safety.. ETH Zurich, Zürich, Switzerland, (2017)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/135).Practical Void Safety.. VSTTE, volume 10712 of Lecture Notes in Computer Science, page 132-151. Springer, (2017)Avoid a Void: The Eradication of Null Dereferencing., , and . Reflections on the Work of C. A. R. Hoare, Springer, (2010)The Concept of Class Invariant in Object-oriented Programming., , and . Formal Aspects Comput., 36 (1): 5:1-5:38 (March 2024)Processors and Their Collection., , and . MSEPT, volume 7303 of Lecture Notes in Computer Science, page 1-15. Springer, (2012)Lessons from Formally Verified Deployed Software Systems., , , , , , and . CoRR, (2023)Negative Variables and the Essence of Object-Oriented Programming., and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 171-187. Springer, (2014)Alias calculus, change calculus and frame inference., , and . Sci. Comput. Program., (2015)