Login / Signup

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.

John TomanRen SiqiKohei SuenagaAtsushi IgarashiNaoki Kobayashi
Published in: ESOP (2020)
Keyphrases
  • imperative programs
  • contextual information
  • context sensitive
  • flow patterns
  • neural network
  • social networks
  • information systems
  • context aware
  • digital content
  • refinement process