Login / Signup

C4: verified transactional objects.

Mohsen LesaniLi-yao XiaAnders KaseorgChristian J. BellAdam ChlipalaBenjamin C. PierceSteve Zdancewic
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • multiple objects
  • real world
  • moving objects
  • d objects
  • artificial intelligence
  • vision system
  • multi view
  • data objects
  • fault tolerant
  • bounding box
  • real world objects