This thesis constitutes the research report submitted as part of mycandidatus scientarium program at the Department of Informatics,University of Oslo. In this work, two proposals for the Simulalanguage are discussed and a reference implementation based on the CIMcompiler is proposed.
The proposals concern two features commonly found in today'sprogramming languages: exceptions and type parametrisation. We analysethese features' suitability for Simula. We also test the proposals ina proof-of-concept implementation.
The Simula language has a number of unique features, that make thetask of compiler writing quite challenging. Incorporating exceptionsand type parametrisation within Simula has proved difficult, but thereference implementation demonstrates that it is indeed possible.