DMCA

Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects (1994)

by Gary T. Leavens , Krishna Kishore Dhara