FDA119 Principles of Programming Languages and EnvironmentsPrerequisitesMSc in a non-computer science area and some programming experience. Motivation and ObjectivesThe course presents basic principles behind the design of programming languages. Basic notions are language, abstraction, typing, and semantics. Basic principles of integrated and interactive programming systems are also presented. Contents1. What is a programming language?. Abstractions in programming languages. Computational paradigms. Language definition, translation and design. 2. Language design principles such as efficiency, generality, orthogonality, and uniformity. 3. Language properties. Syntax, basic semantics. Data types, type information, type constructors, type equivalence, type conversion. Control constructs, procedure environments, activations, allocations. Abstract data types. Overloading and polymorphism. Modules and separate compilation. The mathematics of abstract data types. 4. Programming paradigms. Procedural programming, object-oriented programming languages, functional programming languages. 5. Basic semantics, such as bindings, semantic functions, scope, allocation, extent, the environments. Formal semantics of programming languages. Operational semantics, Natural Semantics, and Denotational semantics. Automatic generation of language implementations from specifications. 6. Principles and methods behind interactive and integrated programming environments. The notion of consistency. Examples of such environments. Source code configuration management and version control systems and mechanisms. OrganisationThe course is mainly based on lectures, estimated 15 hours, 3 hours per week. The students should have a quick reading of the material before each lecture to enable discussions. There will also be a few practical programming exercises, e.g. generating a small translator from specifications. ExaminationHomework problems. A few practical programming excercises in Mathematica. Active participation during lectures. The first hour (9.15-10.00) of each lecture is devoted to discussions of solutions of previous exercise assignment, where students present their solutions. Anybody who has not completed those exercises should not be present the first hour, and will have to do a separate presentation of solutions. LiteratureKenneth C. Louden: Programming Languages, Principles and Practice. PWS Publishing Company, Boston, 1993. (ISBN 0-534-93277-0) Peter Fritzson: Specifying Practical Translators using Natural Semantics and RML. (kompendium). Peter Fritzson: System Development Environments. (kompendium) Peter Fritzson, Johan Gunnarsson, Mats Jirstrand: MathModelica - An Extensible Modeling and Simulation Environment with Integrated Graphics and Literate Programming. (paper, 14 pages) Web pageCourse web page: http://www.ida.liu.se/~petfr/princprog Course material and Mathematica lecture notebooks are available here. See the lectureplan for reading instructions. ScheduleSpring 2002, Week 11-20 March 15, 9.15-12.00 hus B, Sas stora konferensrum, soon renamed to Don Knuth conf. room. (2:nd floor, B-corridor, close to south end of B-house) March 25, 9.15-12.00 hus B, Sas stora konferensrum April 8, 9.15-12.00 hus B, Sas stora konferensrum May 6, 9.15-12.30 hus B, Sas stora konferensrum May 16, 9.15-12.00 hus B, Sas stora konferensrum (last lecture, most exercises completed) Credits3 credits TeacherPeter Fritzson, e-mail petfr@ida.liu.se. |
Page responsible: Anne Moe