Search for dissertations about: "Nachiappan Valliappan"
Found 2 swedish dissertations containing the words Nachiappan Valliappan.
-
1. Be My Guest: Normalizing and Compiling Programs using a Host Language
Abstract : In programming language research, normalization is a process of fundamental importance to the theory of computing and reasoning about programs. In practice, on the other hand, compilation is a process that transforms programs in a language to machine code, and thus makes the programming language a usable one. READ MORE
-
2. Modular Normalization with Types
Abstract : With the increasing use of software in today’s digital world, software is becoming more and more complex and the cost of developing and maintaining software has skyrocketed. It has become pressing to develop software using effective tools that reduce this cost. READ MORE