Login / Signup
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
John Toman
Ren Siqi
Kohei Suenaga
Atsushi Igarashi
Naoki Kobayashi
Published in:
CoRR (2020)
Keyphrases
</>
imperative programs
contextual information
real time
information retrieval
artificial intelligence
knowledge retrieval