On Termination of Meta-programs
- First Online:
The term meta-programming refers to the ability of writing programs that have other programs as data and exploit their semantics . The choice of logic programming as a basis for meta-programming offers a number of practical and theoretical advantages. One of them is the possibility of tackling critical foundation problems of meta-programming within a framework with a strong theoretical basis. Another is the surprising ease of programming. These reasons motivated an intensive research on meta-programming inside the logic programming community ,,,,.
Unable to display preview. Download preview PDF.