The Term Processor Generator Kimwitu

Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas

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

    53 Downloads (Pure)

    Abstract

    The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that it allows to express each part of an implementation in the most appropriate language. Terms can be implemented in a tool as well as exchanged between tools. In this way tool integration is facilitated. Experience has demonstrated that Kimwitu drastically speeds up development time, facilitates tool integration and generates production quality programs.
    Original languageEnglish
    Title of host publicationTools and Algorithms for Construction and Analysis of Systems
    Subtitle of host publicationThird International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings
    EditorsEd Brinksma
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages96-111
    Number of pages16
    ISBN (Electronic)978-3-540-68519-7
    ISBN (Print)978-3-540-62790-6
    DOIs
    Publication statusPublished - Apr 1997
    Event3d International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1997 - University of Twente, Enschede, Netherlands
    Duration: 2 Apr 19974 Apr 1997
    Conference number: 3

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume1217
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference3d International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1997
    Abbreviated titleTACAS
    CountryNetherlands
    CityEnschede
    Period2/04/974/04/97

    Keywords

    • FMT-CC: COMPILER CONSTRUCTION

    Cite this

    van Eijk, P., Belinfante, A., Eertink, H., & Alblas, H. (1997). The Term Processor Generator Kimwitu. In E. Brinksma (Ed.), Tools and Algorithms for Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings (pp. 96-111). (Lecture Notes in Computer Science; Vol. 1217). Berlin, Heidelberg: Springer. https://doi.org/10.1007/BFb0035383
    van Eijk, Peter ; Belinfante, Axel ; Eertink, Henk ; Alblas, Henk. / The Term Processor Generator Kimwitu. Tools and Algorithms for Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings. editor / Ed Brinksma. Berlin, Heidelberg : Springer, 1997. pp. 96-111 (Lecture Notes in Computer Science).
    @inproceedings{93960038c4374d958ca36ddf3d832f63,
    title = "The Term Processor Generator Kimwitu",
    abstract = "The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that it allows to express each part of an implementation in the most appropriate language. Terms can be implemented in a tool as well as exchanged between tools. In this way tool integration is facilitated. Experience has demonstrated that Kimwitu drastically speeds up development time, facilitates tool integration and generates production quality programs.",
    keywords = "FMT-CC: COMPILER CONSTRUCTION",
    author = "{van Eijk}, Peter and Axel Belinfante and Henk Eertink and Henk Alblas",
    year = "1997",
    month = "4",
    doi = "10.1007/BFb0035383",
    language = "English",
    isbn = "978-3-540-62790-6",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "96--111",
    editor = "Ed Brinksma",
    booktitle = "Tools and Algorithms for Construction and Analysis of Systems",

    }

    van Eijk, P, Belinfante, A, Eertink, H & Alblas, H 1997, The Term Processor Generator Kimwitu. in E Brinksma (ed.), Tools and Algorithms for Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings. Lecture Notes in Computer Science, vol. 1217, Springer, Berlin, Heidelberg, pp. 96-111, 3d International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1997, Enschede, Netherlands, 2/04/97. https://doi.org/10.1007/BFb0035383

    The Term Processor Generator Kimwitu. / van Eijk, Peter; Belinfante, Axel; Eertink, Henk; Alblas, Henk.

    Tools and Algorithms for Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings. ed. / Ed Brinksma. Berlin, Heidelberg : Springer, 1997. p. 96-111 (Lecture Notes in Computer Science; Vol. 1217).

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

    TY - GEN

    T1 - The Term Processor Generator Kimwitu

    AU - van Eijk, Peter

    AU - Belinfante, Axel

    AU - Eertink, Henk

    AU - Alblas, Henk

    PY - 1997/4

    Y1 - 1997/4

    N2 - The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that it allows to express each part of an implementation in the most appropriate language. Terms can be implemented in a tool as well as exchanged between tools. In this way tool integration is facilitated. Experience has demonstrated that Kimwitu drastically speeds up development time, facilitates tool integration and generates production quality programs.

    AB - The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that it allows to express each part of an implementation in the most appropriate language. Terms can be implemented in a tool as well as exchanged between tools. In this way tool integration is facilitated. Experience has demonstrated that Kimwitu drastically speeds up development time, facilitates tool integration and generates production quality programs.

    KW - FMT-CC: COMPILER CONSTRUCTION

    U2 - 10.1007/BFb0035383

    DO - 10.1007/BFb0035383

    M3 - Conference contribution

    SN - 978-3-540-62790-6

    T3 - Lecture Notes in Computer Science

    SP - 96

    EP - 111

    BT - Tools and Algorithms for Construction and Analysis of Systems

    A2 - Brinksma, Ed

    PB - Springer

    CY - Berlin, Heidelberg

    ER -

    van Eijk P, Belinfante A, Eertink H, Alblas H. The Term Processor Generator Kimwitu. In Brinksma E, editor, Tools and Algorithms for Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings. Berlin, Heidelberg: Springer. 1997. p. 96-111. (Lecture Notes in Computer Science). https://doi.org/10.1007/BFb0035383