36 citations · 111 across the 11 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
cs.LO2007★ 2 cited
The Church Synthesis Problem with Parameters
Alexander Rabinovich
For a two-variable formula ψ(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y=F(X) such that ψ(X,F…
cs.LO2007★ 33 cited
A Logic of Reachable Patterns in Linked Data-Structures
Greta Yorsh, Alexander Rabinovich, Mooly Sagiv +2
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The m…