Memory Representations in Rewriting Logic Semantics Definitions (2009)

by M Hills
Venue:In Proceedings of WRLA’08, volume 238(3) of ENTCS