|
|
 |
Summary This course is no longer presented but, courtesy of the Wayback Machine, I've been able to track down a brief summary from an earlier incarnation of the Open University's website. Computer programs are developed in stages: users' requirements, analysis and specifications, design, coding in a computer language, compiling into machine code, maintenance. The course analyses many of the concepts, particularly abstract data types. We show how their syntax and semantics can be specified, and how they are implemented in a programming language, using both a high-level language like Pascal and a simplified version of an object-oriented programming language, Eiffel. The logic language Prolog is introduced and its declarative style compared with the imperative style of Pascal. You will study how programming languages can themselves be specified, leading to the development of a compiler for a subset of Pascal.
|
