Login / Signup

A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model.

Clement BlaudeauFengyun 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