Login / Signup
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model.
Clement Blaudeau
Fengyun Liu
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
conceptual framework
probabilistic model
conceptual model
pose estimation
theoretical framework
object model
machine learning
information retrieval
object oriented
object models