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.
Kimwitu (pronounced ‘kee-mweetu’) is pidgin-Swahili for ‘language of trees’
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Henk Alblas. Attribute evaluation methods. In H. Alblas and B. Melichar, editors, International Summer School SAGA: Attribute Grammars, Applications and Systems, number 545 in LNCS, pages 48–113, Prague, 1991. Springer-Verlag.
T. Bolognesi, J. van de Lagemaat, and C.A. Vissers, editors. LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, 1995.
Eric Emile Dubuis. Compiling the Behaviour Part of LOTOS. PhD thesis, ETH Zurich, 1994. TIK-Schriftenreihe nr. 3.
E.H. Eertink. Simulation Techniques for the Validation of LOTOS Specifications. PhD thesis, University of Twente, 1994.
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
T. Heuillard. Compiling conditional rewriting systems. In Stéphane Kaplan and J.-P. Jouannaud, editors, Conditional Term Rewriting Systems, volume 308 of LNCS. Springer-Verlag, 1988.
A. Hofkamp. A static semantics checker for LOTOS. Master's thesis, University of Twente, Enschede, The Netherlands, 1995.
OpenSITE: SDL Integrated Tool Environment. URL: http://www.informatik.hu-berlin.de/Themen/SITE/.
ISO. Information processing systems — open systems interconnection — LOTOS — a formal description technique based on the temporal ordering of observational behaviour. International Standard 8807, ISO, Geneva, February 1989. 1st Edition.
M. Jourdan. Strongly non-circular attribute grammars and their recursive evaluation. In SIGPLAN '84 Symposium of Compiler Construction, pages 81–93. ACM, June 1984.
Pim Kars. Representation of process-gate nets in LOTOS and verification of LOTOS laws: The boolean algebra approach. In Proc. FORTE '94, 1995.
D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127–145, 1968. A correction appears in vol. 5 pp 95–96.
OMG. The Common Object Request Broker Architecture and Specification. Object Managment Group, Framingham, MA, 1995. Revision 2.0.
T. W. Reps and T. Teitelbaum. The Synthesizer Generator — A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1989.
Peter van Eijk and Axel Belmfante. The termprocessor kimwitu: manual and cookbook. Technical Report INF-92-67, University of Twente, Enschede Netherlands, 1992.
P.H.J van Eijk, C.A. Vissers, and M. Diaz, editors. The Formal Description Technique LOTOS — results of the ESPRIT/SEDOS project. North-Holland, Amsterdam, 1989.
D. Wolz. Design of a Compiler for lazy pattern driven narrowing. In Recent Trends in Data Type Specification. Proceedings of the 7th international workshop on specifications of abstract data types, number 534 in Lecture Notes in Computer Science, Wusterhausen-Dosse, 1991. Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Eijk, P., Belinfante, A., Eertink, H., Alblas, H. (1997). The term processor generator Kimwitu . In: Brinksma, E. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1997. Lecture Notes in Computer Science, vol 1217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035383
Download citation
DOI: https://doi.org/10.1007/BFb0035383
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62790-6
Online ISBN: 978-3-540-68519-7
eBook Packages: Springer Book Archive