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.