Algebraic approaches to program semantics

1.4 hrs read
Rate this book:
351 pages 1986

About This Book

Defining programming-language semantics algebraically using two approaches based on denotational semantics: order semantics and partially additive semantics.

Buy This Book

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Write a Review

Sign in to write a review.