Sökning: "Nachiappan Valliappan"
Hittade 2 avhandlingar innehållade orden Nachiappan Valliappan.
1. Be My Guest: Normalizing and Compiling Programs using a Host Language
Sammanfattning : 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. LÄS MER
2. Modular Normalization with Types
Sammanfattning : 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. LÄS MER