Title: Algebraic approaches to program semantics
Description: Defining programming-language semantics algebraically using two approaches based on denotational semantics: order semantics and partially additive semantics.
Subjects: Algebra, Programming languages (Electronic computers), Semantics