Algebraic Approaches to Program Semantics
Defining programming-language semantics algebraically using two approaches based on denotational semantics: order semantics and partially additive semantics.
Reviews
Popular Reviews
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!