Sökning: "Nachiappan Valliappan"

Hittade 2 avhandlingar innehållade orden Nachiappan Valliappan.

1. 1. Be My Guest: Normalizing and Compiling Programs using a Host Language

   Författare :Nachiappan Valliappan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; programming languages; embedded domain-specific languages; normalization by evaluation;

   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

3. 2. Modular Normalization with Types

   Författare :Nachiappan Valliappan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Functional Programming;

   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