On termination of meta-programs

A. Serebrenik, D. De Schreye

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)

    Abstract

    The term meta-programming refers to the ability of writing programs that have other programs as data and exploit their semantics [4]. 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 [4],[16],[19],[22],[23].
    Original languageEnglish
    Title of host publicationProceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2001), 3-7 December 2001, Havana, Cuba
    EditorsR. Nieuwenhuis, A. Voronkov
    Place of PublicationBerlin
    PublisherSpringer
    Pages517-530
    ISBN (Print)3-540-42957-3
    DOIs
    Publication statusPublished - 2001

    Publication series

    NameLecture Notes in Computer Science
    Volume2250
    ISSN (Print)0302-9743

    Fingerprint

    Dive into the research topics of 'On termination of meta-programs'. Together they form a unique fingerprint.

    Cite this