The Formal Semantics of Programming Languages

GPTKB entity