6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2012★ 6 cited
Two for the Price of One: Lifting Separation Logic Assertions
Jacob Thamsborg, Lars Birkedal, Hongseok Yang
Recently, data abstraction has been studied in the context of separation logic, with noticeable practical successes: the developed logics have enabled clean proofs of tricky challe…
math.DS2006
Generating Specials: The Zorro Algorithm
Jacob Thamsborg
The concept of a configuration graph associated to a primitive, aperiodic substitution is introduced in [1] as a convenient graphical representation of the infinite indeterminism o…