IT-Universitetet i København
  Tilbage Kursusoversigt
Kursusnavn (dansk):Avanceret sprogimplementation og sprogbaseret sikkerhed 
Kursusnavn (engelsk):Advanced Language Implementation and Language-based Security 
Semester:Efterår 2003 
Udbydes, internet- og softwareteknologi (int) 
Omfang i ECTS:7,50 
Min. antal deltagere:
Forventet antal deltagere:20 
Maks. antal deltagere:40 
Formelle forudsætninger:Programming Languages, Interpreters and Compilers (PFOO) or similar prerequisites, including knowledge about higher-order programming languages (e.g., Standard ML), interpreters, and compilers. 
Læringsmål:In relation to programming languages, this course aims at bridging practical and theoretical issues and at giving the students a feel for ongoing research at the IT-C. 
Fagligt indhold:This course covers advanced topics related to the understanding and implementation of programming languages, including type systems and abstraction, modules systems, program analysis, programming languages for mobile and distributed systems, and language-based security. These topics can be expected to be central to future programming languages and software construction.

Detailed contents:
<dt>Type systems and abstraction</dt>
<dd>Operational semantics, types, polymorphism, sub-typing, modules
<dt>Program analyses</dt>
<dd>Flow analysis, region inference
<dt>Programming languages for mobile and distributed systems</dt>
<dd> The join-calculus, JoCaml
<dt>Language based security</dt>
<dd>proof-carrying code, typed applets, typed assembly languages, Cyclone


Weekly lectures, theoretical exercises, programming exercises 

Eksamensform og -beskrivelse:X. experimental examination form (7-scale; external exam), 13-skala, Ekstern censur


Litteratur udover forskningsartikler:Surveys and research papers