@MASTERSTHESIS\{IMM2004-03385,
    author       = "U. Hjarnaa",
    title        = "Translation of a subset of {RSL} into Java",
    year         = "2004",
    keywords     = "{RAISE,} {RSL,} Java, translation, bootstrapping",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    note         = "Supervised by Associate Professor, Ph.D. Anne E. Haxthausen and Associate Professor Hans Bruun",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3385-full.html",
    abstract     = "There exist a number of specification languages which are used for specifying the design and behaviour of software systems. Furthermore, a number of programming languages exist, which are used for implementation of software systems. This thesis focuses on a possible translation from the speci cation language {RSL} into the programming language Java. 

This work identifies a translatable subset of the applicative part of {RSL} and gives suggestions for a translation of a subset of this into Java. The work focuses on the parts of {RSL} which have a direct translation in Java. Based on these translations a prototype of a tool for carrying out the translation has been developed.

The tool has been developed using a combination of techniques. The front end has been developed using a tool for generating a lexer and a parser. The back end has been developed using the object-oriented visitor design pattern. The main part of the tool has been developed using a bootstrapping process. The main part of the tool was speci ed in {RSL} and translated using the tool itself."
}