Transforming concurrent programs with semaphores into logically constrained term rewrite systems - Kojima, Misaki; Nishida, Naoki; Matsubara, Yutaka (Journal of logical and algebraic methods in programming, 2025)
Keywords: Concurrency; Constrained rewriting; Imperative program; Program transformation; Program verification; Constrained rewriting; Imperative program; Concurrency; Program verification; Program transformation