The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Ein einführendes Werk über die formale Semantik von Programmiersprachen, das mathematische Modelle, Syntaxregeln und semantische Auswertungsprinzipien systematisch erklärt und mit anschaulichen Beispielen untermauert.

Teilen: