2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 2 cited
Topos Semantics for a Higher-Order Temporal Logic of Actions
Philip Johnson-Freyd, Jon Aytac, Geoffrey Hulette
TLA is a popular temporal logic for writing stuttering-invariant specifications of digital systems. However, TLA lacks higher-order features useful for specifying modern software w…
cs.PL2013★ 2 cited
Deriving program transformations by demonstration
Matthew J. Sottile, Geoffrey C. Hulette
Automatic code transformation in which transformations are tuned for specific applications and contexts are difficult to achieve in an accessible manner. In this paper, we present…