The Term Processor Generator Kimwitu

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

doi:10.1007/BFb0035383

The Term Processor Generator Kimwitu

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

180 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 language	English
Title of host publication	Tools and Algorithms for Construction and Analysis of Systems
Subtitle of host publication	Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2–4, 1997. Proceedings
Editors	Ed Brinksma
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	96-111
Number of pages	16
ISBN (Electronic)	978-3-540-68519-7
ISBN (Print)	978-3-540-62790-6
DOIs	https://doi.org/10.1007/BFb0035383
Publication status	Published - Apr 1997
Event	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 - University of Twente, Enschede, Netherlands Duration: 2 Apr 1997 → 4 Apr 1997 Conference number: 3

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1217
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997
Abbreviated title	TACAS
Country/Territory	Netherlands
City	Enschede
Period	2/04/97 → 4/04/97

Keywords

FMT-CC: COMPILER CONSTRUCTION

Access to Document

10.1007/BFb0035383

Eijk1997termAccepted author version, 213 KB
Eijk1997termFinal published version, 943 KB

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). Springer. https://doi.org/10.1007/BFb0035383

@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 = apr,

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",

address = "Germany",

note = "3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997, TACAS ; Conference date: 02-04-1997 Through 04-04-1997",

}

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, 3rd International Workshop on Tools and Algorithms for the 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 et al.
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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The Term Processor Generator Kimwitu

AU - van Eijk, Peter

AU - Belinfante, Axel

AU - Eertink, Henk

AU - Alblas, Henk

N1 - Conference code: 3

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

T2 - 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997

Y2 - 2 April 1997 through 4 April 1997

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). doi: 10.1007/BFb0035383

The Term Processor Generator Kimwitu

Abstract

Publication series

Workshop

Keywords

Access to Document

Fingerprint

Cite this