A Framework for Programming Denotational Semantics in C (1996)

by N S Papaspyrou
Venue:Computer Science (Cornell University