A Practical Introduction to Denotational Semantics
Bokus
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is dev...
459.00 kr