Hide metadata

dc.date.accessioned2013-03-12T07:57:20Z
dc.date.available2013-03-12T07:57:20Z
dc.date.issued2005en_US
dc.date.submitted2005-06-10en_US
dc.identifier.citationFjeld, Jørgen Hermanrud. Compiling Creol Safely. Hovedoppgave, University of Oslo, 2005en_US
dc.identifier.urihttp://hdl.handle.net/10852/9286
dc.description.abstractThis thesis provides contributions to the research programming language Creol (Concurrent REflective Ob ject-oriented Language). The first contribution is the EBNF grammar for Creol. The second contribution suggests how to extend the Creol language with functional constructs. The third and ma jor contribution is the design of a type system for the Creol language, as well as some molding of the Creol language, such that static type safety is achieved. The fourth contribution is a prototype implementation of a compiler for Creol. The Creol language has until now provided static type safety and separation between inheritance and subtyping by assumption only. The creation of the Creol type system investigates this assumption for the Creol language. During the process there has also been a clarification of the Creol language from a type system point of view. The type system designed for Creol is a hybrid between a structural and nominal type system, and is a step towards a novel hybrid type system, that facilitates a separation between inheritance and subtyping, while enforcing nominal constraints, when desireable. The prototype compiler implemented for Creol is crafted with tools that operate on a higher level than traditional compiler tools. These high level approaches include combinator parsing and attribute grammars.nor
dc.language.isonoben_US
dc.titleCompiling Creol Safelyen_US
dc.typeMaster thesisen_US
dc.date.updated2005-07-25en_US
dc.creator.authorFjeld, Jørgen Hermanruden_US
dc.subject.nsiVDP::420en_US
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Fjeld, Jørgen Hermanrud&rft.title=Compiling Creol Safely&rft.inst=University of Oslo&rft.date=2005&rft.degree=Hovedoppgaveen_US
dc.identifier.urnURN:NBN:no-10625en_US
dc.type.documentHovedoppgaveen_US
dc.identifier.duo28067en_US
dc.contributor.supervisorEinar B. Johnsen, Bjarte M. Østvolden_US
dc.identifier.bibsys051369370en_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/9286/1/Thesis_on_CreolCompiler.pdf


Files in this item

Appears in the following Collection

Hide metadata