I would like to have a good conceptual understanding of the semantics of programming languages: operational-, denotational-, axiomatic-, categorical-.
Is there a good (standard?) textbook for this?
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.
Sign up to join this communityI would like to have a good conceptual understanding of the semantics of programming languages: operational-, denotational-, axiomatic-, categorical-.
Is there a good (standard?) textbook for this?
There are many depending on where you want to start and what exactly you want.
Usually textbook start with giving semantics to the While
or IMP
language and then give references to semantics of lambda calculus (typed untyped) unless you are reading Gunter. I am listing down a few below that I have referenced a number of times:
Operational Denotational and Axiomatic:
a. Formal Semantics of Programming languages by Wynskell
Denotational semantics: Denotational Semantics by Stoy
Mostly operational semantics (may be with types involved):
See also this question and this question on stackexchange. and this further reading section of wikipedia article