Type-driven automatic quotation of concrete object code in meta programs

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

    1 Citation (Scopus)

    Abstract

    Meta programming can be facilitated by the ability to represent program fragments in concrete syntax instead of abstract syntax. The resulting meta programs are more self-documenting. One caveat in concrete meta programming is the syntactic separation between the meta language and the object language. To solve this problem, many meta programming systems use quoting and anti-quoting to indicate precisely where level switches occur. These "syntactic hedges" can obfuscate the concrete program fragments. This paper describes an algorithm for inferring quotes, such that the meta programmer no longer needs to explicitly indicate transitions between the meta and object languages.
    Original languageEnglish
    Title of host publicationProceedings of the Second International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2005, September 8-9, 2005, Heraklion, Crete, Greece, Revised Selected Papers)
    EditorsN. Guelfi, A. Savidis
    Place of PublicationBerlin
    PublisherSpringer
    Pages97-112
    ISBN (Print)978-3-540-34063-8
    DOIs
    Publication statusPublished - 2006
    EventSecond International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005), September 8-9, 2005, Heraklion, Greece - Heraklion, Greece
    Duration: 8 Sep 20059 Sep 2005

    Publication series

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

    Workshop

    WorkshopSecond International Workshop on Rapid Integration of Software Engineering Techniques (RISE 2005), September 8-9, 2005, Heraklion, Greece
    Abbreviated titleRISE 2005
    CountryGreece
    CityHeraklion
    Period8/09/059/09/05

    Fingerprint Dive into the research topics of 'Type-driven automatic quotation of concrete object code in meta programs'. Together they form a unique fingerprint.

    Cite this