Dr Scient theses from Ifi/UiO

The Norwegian degree of Dr Scient corresponds roughly to a Ph.D. in English-speaking countries.
Dag Diesen
Specifying algorithms using evolving algebra. Implementation of functional programming languages; March 1995. An appendix is included. Program code for the Evolving Algebra system is also available.
Annita Fjuk
Computer support for distributed collaborative learning -- exploring a comples program area; January 1998.
Else K. Nordhagen
divide et impera -- a computational framework for verifying object component substutability; November 1998.
Joar Martin Østby
Full custom implementation of a high performance input buffered swich architecture; research report 242, April 1997.
There also exists VHDL code and Magic layout files referenced in the report.

Last update made 28 September 2006 by Dag F. Langmyhr