Login / Signup

Transfinite Iris: resolving an existential dilemma of step-indexed separation logic.

Simon SpiesLennard GäherDaniel GratzerJoseph TassarottiRobbert KrebbersDerek DreyerLars Birkedal
Published in: PLDI (2021)
Keyphrases
  • post processing
  • data sets
  • iris recognition
  • automated reasoning
  • real time
  • information systems
  • knowledge base
  • color images
  • logic programming
  • computational properties
  • defeasible logic