Partial Order Reduction for Rewriting Semantics of Programming Languages
Under a Creative Commons license
open access
Keywords
Partial order reduction
model checking
programming language semantics
rewriting logic
Maude
Cited by (0)
Copyright © 2007 Elsevier B.V.