Semantics of Programming Languages


  • Nielson, H.R., Nielson, F.: Semantics with Applications. Springer (2007)
  • Nielson, H.R., Nielson, F., Hankin, C.: Principles of Program Analysis. Springer (1999)
  • Hüttel, H.: Transitions and Trees. Cambridge University Press (2010)
  • Winskel, G.: The Formal Semantics of Programming Languages. The MIT Press (1993)


  • Cousot, P.: Abstract Interpretation Based Formal Methods and Future Challenges. In: Wilhelm, R. (ed.) Informatics, 10 Years Back – 10 Years Ahead. Lecture Notes in Computer Science 2000 (2001) 138–156
  • Cousot, P.: Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science 277 (2002) 47–103
Page edit