Clement Blaudeau

Clement Blaudeau
National Institute for Research in Computer Science and Control | INRIA · Cambium

Master of Science

About

2
Publications
57
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
14
Citations
Introduction
Skills and Expertise
C
C++
Object-Oriented Programming
Java Programming
Software Development
Web Development
Software Programming
HTML code programming
CSS
SQL Programming

Publications

Publications (2)
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model
Article
  • Oct 2022
An object under initialization does not fulfill its class specification yet and can be unsafe to use as it may have uninitialized fields. It can sometimes be useful to call methods on such a partially initialized object in order to compute a complex initial value, or to let the object escape its constructor in order to create mutually recursive obj...
View
View

Network

Cited
View All
Cited By
View All