• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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