The Term Processor Generator Kimwitu

P.H.J. van Eijk, Peter van Eijk, Axel Belinfante, E.H. Eertink, H. Alblas

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

47 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, Third International Workshop, TACAS '97
EditorsHendrik Brinksma
Place of PublicationBerlin
PublisherSpringer
Pages96-111
Number of pages16
ISBN (Print)3-540-62790-1
DOIs
Publication statusPublished - Apr 1997
EventThird 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 Verlag
Volume1217

Conference

ConferenceThird International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1997
Abbreviated titleTACAS
CountryNetherlands
CityEnschede
Period2/04/974/04/97
OtherApril 2-4, 1997

Keywords

  • METIS-120070
  • IR-63316
  • EWI-6510
  • FMT-CC: COMPILER CONSTRUCTION

Cite this

van Eijk, P. H. J., van Eijk, P., Belinfante, A., Eertink, E. H., & Alblas, H. (1997). The Term Processor Generator Kimwitu. In H. Brinksma (Ed.), Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97 (pp. 96-111). (Lecture Notes in Computer Science; Vol. 1217). Berlin: Springer. https://doi.org/10.1007/BFb0035383
van Eijk, P.H.J. ; van Eijk, Peter ; Belinfante, Axel ; Eertink, E.H. ; Alblas, H. / The Term Processor Generator Kimwitu. Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97. editor / Hendrik Brinksma. Berlin : 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 = "METIS-120070, IR-63316, EWI-6510, FMT-CC: COMPILER CONSTRUCTION",
author = "{van Eijk}, P.H.J. and {van Eijk}, Peter and Axel Belinfante and E.H. Eertink and H. Alblas",
year = "1997",
month = "4",
doi = "10.1007/BFb0035383",
language = "English",
isbn = "3-540-62790-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "96--111",
editor = "Hendrik Brinksma",
booktitle = "Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97",

}

van Eijk, PHJ, van Eijk, P, Belinfante, A, Eertink, EH & Alblas, H 1997, The Term Processor Generator Kimwitu. in H Brinksma (ed.), Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97. Lecture Notes in Computer Science, vol. 1217, Springer, Berlin, pp. 96-111, Third 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, P.H.J.; van Eijk, Peter; Belinfante, Axel; Eertink, E.H.; Alblas, H.

Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97. ed. / Hendrik Brinksma. Berlin : 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, P.H.J.

AU - van Eijk, Peter

AU - Belinfante, Axel

AU - Eertink, E.H.

AU - Alblas, H.

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 - METIS-120070

KW - IR-63316

KW - EWI-6510

KW - FMT-CC: COMPILER CONSTRUCTION

U2 - 10.1007/BFb0035383

DO - 10.1007/BFb0035383

M3 - Conference contribution

SN - 3-540-62790-1

T3 - Lecture Notes in Computer Science

SP - 96

EP - 111

BT - Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97

A2 - Brinksma, Hendrik

PB - Springer

CY - Berlin

ER -

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