On termination of meta-programs

A. Serebrenik, D. De Schreye

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)

    Samenvatting

    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].
    Originele taal-2Engels
    TitelProceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2001), 3-7 December 2001, Havana, Cuba
    RedacteurenR. Nieuwenhuis, A. Voronkov
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's517-530
    ISBN van geprinte versie3-540-42957-3
    DOI's
    StatusGepubliceerd - 2001

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume2250
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'On termination of meta-programs'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit