Programming 2018 paper release

programming2018

Refactor store implementation in preparation of incremental transitiv…