DMCA

A compositional natural semantics and Hoare logic for low-level languages (2005)

by Ando Saabas , Tarmo Uustalu
Venue:In: Proceedings of the Second Workshop on Structured Operational Semantics
Citations:19 - 4 self