Login / Signup

Charge! - A Framework for Higher-Order Separation Logic in Coq.

Jesper BengtsonJonas Braband JensenLars Birkedal
Published in: ITP (2012)
Keyphrases
  • higher order
  • conceptual framework
  • database
  • databases
  • high order
  • machine learning
  • artificial intelligence
  • multiscale
  • video sequences
  • theoretical framework
  • lower order
  • higher order logic