nLab semantics of a programming language


Semantics in computer science is a field concerned with models of meaning of programming language constructs, 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.


Related nnLab pages include denotational semantics, operational semantics, functional programming, lambda calculus, type theory, domain theory, currying, Isabelle

  • 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, 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 November 2, 2019 at 06:08:47. See the history of this page for a list of all contributions to it.