Nettsider med emneord «object-orientation»

Publisert 25. aug. 2017 09:37

This is a general topic regarding the foundations of programming languages and their semantics. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from just programming a simple tool related to some variant of Keene algebra, or a literature study, or doing modelling of real systems, or using existing tools for Kleene algebras like proof assistants, or doing mathematical proofs.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 3. des. 2015 14:39
Publisert 3. des. 2015 14:38
Publisert 22. sep. 2014 16:25
Publisert 6. juni 2014 14:20


Here's a link to a shot of the (kind of) first oo program, from an NR technical report from 1965.


Thanks for Amund Tveit (and Rudi Schlatte and Olaf Owe) for digging that up.

Publisert 9. nov. 2010 10:47
Publisert 4. nov. 2010 14:19
Publisert 4. nov. 2010 14:19
Publisert 4. nov. 2010 14:12
Publisert 4. nov. 2010 14:00
Publisert 4. nov. 2010 13:50
Publisert 4. nov. 2010 13:50