Jump to content

COL831

From IITD Wiki
Revision as of 10:00, 4 March 2026 by Prashantt492 (talk | contribs) (Creating course page via bot)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
COL831
Semantics of programming Languages
Credits 3
Structure 3-0-0
Pre-requisites COL226, COL352
Overlaps

COL831 : Semantics of programming Languages

[edit]

Study of operational, axiomatic and denotational semantics of procedural languages; semantics issues in the design of functional and logic programming languages, study of abstract data types.

Retrieved from "https://wiki.devclub.in/index.php?title=COL831&oldid=624"