6 ECTS credits
150 u studietijd

Aanbieding 2 met studiegidsnummer 1005176BNR voor alle studenten in het 2e semester met een verdiepend bachelor niveau.

Semester
2e semester
Inschrijving onder examencontract
Niet mogelijk
Beoordelingsvoet
Beoordeling (0 tot 20)
2e zittijd mogelijk
Ja
Inschrijvingsvereisten
Studenten die dit opleidingsonderdeel opnemen, moeten geslaagd zijn voor “Interpretatie van Computerprogramma’s 1”, “Automaten en berekenbaarheid” en “Structuur van Computerprogramma’s 2” of ingeschreven in de “Master Toegepaste Informatica”.
Onderwijstaal
Engels
Faculteit
Faculteit Wetenschappen en Bio-ingenieurswetensch.
Verantwoordelijke vakgroep
Computerwetenschappen
Onderwijsteam
Wolfgang DE MEUTER (titularis)
Onderdelen en contacturen
26 contacturen Hoorcollege
26 contacturen Werkvormen en Praktische Oef.
150 contacturen Zelfwerk en -studie
Inhoud
  • Revision of Metacircular Evaluation
  • Introduction to macro-programming in Scheme.
  • Concrete vs. Abstract Syntax. Lex/Yacc parsers.
  • Statisc Analysis: Lexical Addressing and Type Checking.
  • Store vs. Environemts: call-by-address, shared variables, …
  • CPS-evaluation using procedures as continuations
  • CPS-evaluators using frames as continuations
  • Exception Handling
  • Multithreading en mutexes
  • CPS-transformation: converting non-tailrecursive programs into tailrecursive programs.
  • Object-system: objects, message forwarding, delegation, proxies
  • Classes, subclasses, inheritance and Mixins
  • Actors, active objects
  • Contemporary topics
Studiemateriaal
Digitaal cursusmateriaal (Vereist) : All transparencies and code will be made available on the Canvas system. Large portions of the course are based on “Essentials of Programming Languages” by Friedman & Wand., http://soft.vub.ac.be/ICP2, http://soft.vub.ac.be/ICP2
Bijkomende info

Recommended background:

In order to be able to start with this course, students must be acquainted with metacircular evaluators in Scheme. Apart from that, a basic knowledge of programming language theory (i.e. regular languages and context-free languages) is assumed.

Leerresultaten

General Competencies

Knowledge and understanding: This course continues the bachelor’s study of interpretative/denotational semantics of programming languages. Various advanced programming language concepts are explained and formalised by means of an evaluator. After finishing the course, the student understands the fundamental properties of these concepts independently from their occurrence in mainstream/popular programming languages.

Applying knowledge and understanding: Students apply the knowledge in the context of 2 programming projects in which they will have to extend a couple of the evaluators seen in class.

Making judgements: Students are able to pinpoint the incarnation of the studied language concepts in concrete mainstream languages. They are able to go beyond the syntax and they are able to judge the quality with which the concept has been integrated in said languages.

Communication: Studenten dienen de keuzes die ze gemaakt hebben tijdens de uitvoering van projecten mondeling te kunnen verdedigen en toelichten op een beredeneerde wijze.

Lifelong Learning Skills: Students understand the foundations of advanced programming languages features. They will immediately recognise any occurrence of the studied features in future languages.

Beoordelingsinformatie

De beoordeling bestaat uit volgende opdrachtcategorieën:
Examen Mondeling bepaalt 50% van het eindcijfer

ZELF Praktijkopdracht bepaalt 50% van het eindcijfer

Binnen de categorie Examen Mondeling dient men volgende opdrachten af te werken:

  • Oral exam met een wegingsfactor 1 en aldus 50% van het totale eindcijfer.

    Toelichting: During the oral exam the full report will be evaluated and possibly adjusted.

Binnen de categorie ZELF Praktijkopdracht dient men volgende opdrachten af te werken:

  • Full project met een wegingsfactor 1 en aldus 50% van het totale eindcijfer.

    Toelichting: The exam consists of a project and an oral exam. For the project the students have to report about their own extensions to the Pico virtual machine. In the course of the lecture an assignment is formulated for which the goal is to extend both the syntax and semantics of Pico with a new programming concept. Students are then expected to model this concept for the meta-circular specification of Pico and then cary these over to the actual virtual machine. Students have to show that these modifications are fully functional through a number of test cases. The report has to document each of the steps taken in the process of modifying the virtual machine and has to be accompanied with the full source code of the modified version of the virtual machine.

Aanvullende info mbt evaluatie

The exam consist of an oral presentation/defense of 2 programming assignments where the student needs to present his/her project and answer questions about his/her approach in the context of the course theory. Failing to submit 1 of the projects implies no grade for the entire course.

Academische context

Deze aanbieding maakt deel uit van de volgende studieplannen:
Bachelor in de computerwetenschappen: Standaard traject