Login / Signup

Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities.

Aïna Linn GeorgesAlix TrieuLars Birkedal
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • spatio temporal
  • temporal reasoning
  • spatial and temporal
  • temporal information
  • temporal dimension
  • real world
  • machine learning
  • decision trees
  • video sequences
  • cost effective
  • temporal patterns