COL831
| 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.