An approach to storing program semantics in static program analysis

A paper about NoSQL approach for storing semantic data plus mechanisms to unload unneeded data and reload when needed.

Conference
CPS-2019
Journal
Control processes and stability