Title: Denotational semantics
First published: 1986
Subjects: Programming languages (Electronic computers), Semantics, Syntax
LC classification: QA76.7