Author(s): Vasanth Kumar Bhukya Title: Study on the Formal Semantics and Type System of C Language Keywords: Syntax, Semantics, Type System Date submitted: 2024 08 26