Title: The connection between axiomatic and denotational semantics of programming languages
Subjects: Programming languages (Electronic computers), Semantics