Brodthagen, Morten

Nielsen, Sebastian Esp

In this project we’ll try to answer the question of how to design a simple programming language witha focus on generating syntactically correct HTML, and how to implement a compiler for this language.To answer this question, we’ve done some considerations as to which functionality our programminglanguage should contain. We found a EBNF, a syntactical meta-language, which we used to describethe grammatical rules of our programming language. We also researched what a compiler is, and thesteps it takes. These steps included syntactical and contextual analysis, code optimization, and codegeneration. We found that the syntactical analysis is primarily concerned with checking the syntax ofthe code, after which the contextual analysis handles identification and type checking. The next stephandles code optimization, after which the compiler reaches the last step code generation. We haveused the knowledge gained to implement out own compiler written in F#. We used the lexer/parsergenerators fslex and fsyacc to create our lexer and parser. Thereafter we used these in the constructionof our compiler, along with our own implementations of the identification, type checking and codegeneration steps. Finally we tested our programminglanguage, and compared the results with identicalPHP programs, which showed that our programming language was able to alleviate a the issue PHPhas in regards to verifying the correctness of it’s HTML output. As such we can conclude that therequirements we set up for thsi project has been fulfilled

Design of programming language and implementation of compiler

Abstract

Similar works

Full text

Available Versions

Roskilde Universitet