Welcome to Department of Mathematics

Mail Us

Call Us

Semantics of Programming Languages

Code: MA516 | L-T-P-C: 3-0-0-6

Elements of a Programming language: Defining Syntax; BNF; Conditional Statements; Iterative Statements; Enumerated and Elementary Data Types; Features of Functional and Imperative languages. Elements of Mathematics: Partial and Multi Functions; Isomorphism, Duality, Zero Objects, Products, Co Products from Category Theory; Term Algebras. Semantics: Operational, Axiomatic and Denotational Semantics of Procedural Languages; Partially Additive Semantics; Recursive Specification; Order Semantics of Recursion; Fixed- Point Semantics; Algebraic Semantics of Abstract Data Types


  1. Ellis Horowitz, Fundamentals of Programming Languages, Second Edn., Galgotia Publications, 1995.
  2. Kenneth Slonneger and Barry L. Kurtz, Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach, Addison-Wesley Publishing Company, 1995.
  3. Ernest G. Manes and Michael A. Arbib, Algebraic Approaches to Program Semantics, Texts and Monographs in Computer Science, Springer-Verlag, 1986.


  1. Carlo Ghezzi and Mehdi Jazayeri, Programming Language Concepts, Third Edn., John Wiley & Sons, 1998.
  2. Ravi Sethi, Programming Languages: Concepts and Constructs, Addison-Wesley Publishing Company, 1989.
  3. Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction, The MIT Press, 1993.
  4. Hartmut Ehrig and Bernd Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer-Verlag, 1985.