In the Miking framework, constructing an imperative language requires a DSL author to implement functional-style translations for each imperative-style feature themselves, such as early returns for instance. This leads to duplication of code and effort. The purpose of this thesis is to construct a DSL library with common imperative constructs that the authors can build on. The two major features are translation of while loops to recursive function calls, and splitting up the evaluation of imperative-style functions using return statements. We test our solution by evaluating against three different criteria: correctness, expressiveness, and performance. In terms of correctness, we determine that our solution works as intended. In terms of expressiveness, we determine that users are able to implement programs using features such as branching control flow and early returns from imperative languages such as C through our transformations. However, we find that we cannot support certain features, such as pointers. In terms of performance, we arrive at the conclusion that our solution is not as efficient as regular MExpr programs, but it does not significantly degrade performance and maintains the expected time complexity.

För att skapa ett imperativt språk med Mikingramverket krävs det att DSL-skaparen själv implementerar översättningar från imperativa konstruktioner, exempelvis tidiga returanrop, till funktionella motsvarigheter. Detta leder till dubblering av kod och ansträngning. Syftet med denna avhandling är att skapa ett DSL-bibliotek med vanliga imperativa konstruktioner som DSL-skapare kan bygga vidare på. De två huvudsakliga funktionaliteterna är översättning av while-loopar till rekursiva funktionsanrop samt uppdelningen av imperativa funktioners utvärdering med returanrop. Vi testar vår lösning genom att utvärdera mot tre olika kriterier: korrekthet, uttrycksfullhet och prestanda. När det gäller korrekthet fastställer vi att vår lösning fungerar som avsett. När det uttrycksfullhet kan vi se att användare med hjälp av vårt bibliotek kan implementera program som använder funktionalitet, som förgrenat kontrollflöde och tidiga returanrop från imperativa språk som C. Dock finner vi funktionalitet som inte stödjs av vårt bibliotek, så som pekare. När det gäller prestanda drar vi slutsatsen att vår lösning inte är lika effektiv som vanliga MExpr-program, men den försämrar inte prestandan nämnvärt samt att den upprätthåller den förväntade tidskomplexiteten.