Author of the publication

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)

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.

 

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)Lessons from Formally Verified Deployed Software Systems., , , , , , and . CoRR, (2023)Processors and Their Collection., , and . MSEPT, volume 7303 of Lecture Notes in Computer Science, page 1-15. Springer, (2012)Alias calculus, change calculus and frame inference., , and . Sci. Comput. Program., (2015)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)