First time to ocw?

11Apr

Advanced programming

About Advanced programming


Program execution is not adequately reflected in usual syntactic programming language definition by formal grammar, although either actual or mental execution is referred to during reading (tracing) and correctness proving. An advanced programming languages definition associates in input/output variables, the domain, and the computable function with each program. It is based on a computer automaton when inputs from In, states from St are viewed as instructions, memory states, respectively.

Course Highlights

The videos section of this course features a selection of video lectures and interviews of Advanced programming faculty from various Departments at KIoT.