27 citations · 73 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CC2018★ 3 cited
Compliance in Real Time Multiset Rewriting Models
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
The notion of compliance in Multiset Rewriting Models (MSR) has been introduced for untimed models and for models with discrete time. In this paper we revisit the notion of complia…
cs.LO2018★ 1 cited
On the Complexity of Pointer Arithmetic in Separation Logic (an extended version)
James Brotherston, Max Kanovich
We investigate the complexity consequences of adding pointer arithmetic to separation logic. Specifically, we study extensions of the points-to fragment of symbolic-heap separation…