4 datasets found

This dissertation describes a novel approach to safe meta-programming. A meta-program is a program which processes programs or similar data. Compilers and theorem...

Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the development of general purpose libraries....

In a classical paper of D.H.D. Warren, the higher-order extensions of Prolog were questioned as they do not really provide more expressive power than meta-programming...

This thesis aims to define a design methodology for high performance applications on future embedded processors. These architectures require an efficient usage of...