nLab semantics of a programming language




Semantics in computer science is a field concerned with models of meaning (semantics) of programming language constructs, ie. with what the constructions actually do in execution. In fact, semantics in computer science (and cybernetics) nowdays is often considered also beyond language constructs and deals also with semantics of more general signals, codes and processes, especially within concurrency models.


  • wikipedia semantics (computer science)

  • Robert Harper, Practical foundations for programming languages, pdf

  • Shriram Krishnamurthi, Programming languages, Application and interpretation, pdf

  • Hanne Riis Nielson, Flemming Nielson, Semantics with applications: a formal introduction, Wiley 1992, 1999 page with book and other files (postscript recommended for the book)

  • Frank J. Oles, A category-theoretic approach to the semantics of programming languages, Syracuse University (1982) [pdf]

  • cstheory.stackexchange discussion of books on semantics html

  • Robert M. Amadio, Pierre-Louis Currien, Domains and lambda-calculi, Cambridge tracts in theoretical computer science 46, gBooks

  • Tobias Nipkow, Gerwin Klein, Concrete semantics with Isabelle/HOL, 2014 book page

  • Glynn Winskel, Denotational semantics, University of Cambridge pdf

Last revised on August 13, 2023 at 18:02:55. See the history of this page for a list of all contributions to it.