The term processor generator Kimwitu

Eijk van, Peter and Belinfante, Axel and Eertink, Henk and Alblas, Henk (1997) The term processor generator Kimwitu. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture notes in computer science, 1217 . Springer Verlag, Berlin, Germany, pp. 96-111. ISBN 9783540627906

Preview

PDF
213Kb

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.
Item Type:	Book Section
Copyright:	© 1997 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/63316
Official URL:	http://dx.doi.org/10.1007/BFb0035383
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 120070