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

From MaRDI portal
Publication:5041118

DOI10.1007/978-3-030-44914-8_25OpenAlexW3021257004MaRDI QIDQ5041118

Naoki Kobayashi, Kohei Suenaga, Atsushi Igarashi, John Toman, Ren Siqi

Publication date: 13 October 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.07770





Uses Software


Cites Work


This page was built for publication: ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs