Eijk, P., Belifante, A.: The Term Processor Kimwitu -- Manual and Cookbook, University of Twente, Tele-Informatics and Open Systems Group, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Analysis and formal Verification of SDL'92.. - Fischer, Dimitrov.. (1995) (2 citations) (Correct)
....After the input of the SDL 92 specification by an editor and after checking of the syntax and semantics correctness by parser and semantics analyser the outgoing specification is represented in the form of CR syntax tree. For the creation of this CR representation the term processor Kimwitu ( Eijk90] has been used. The transformation component cr2ps generates from CR the PSS format (fig. 15) The PSS syntax tree is read by the transformation component ps2pn. From the PSS syntax tree ps2pn generates the internal net representation for both model classes Time PN and SDL Time net as well as ....
Eijk, P., Belifante, A.: The Term Processor Kimwitu -- Manual and Cookbook, University of Twente, Tele-Informatics and Open Systems Group, 1990.
An Interface Implementation using a Formal Compiler.. - Levin Bounimova (1995) (Correct)
.... testing it in a systematic and efficient manner a compiler application More precisely can it be used at all in some manner that may render it superior to an informal programming approach using state of the art compiler construction toolkits such as Lex Yacc, Karlsruhe Coctail [13] or Kimwitu [11]. Our answer to this question is affirmative and to some extent its feasibility has been demonstrated in the formalism and the application explained in this paper. The methodology we use employs a formalism for describing the mechanics of translation as a function of an externally given set of ....
P. van Eijk, A. Belinfante, "The Term Processor Kimwitu -- Manual and Cookbook", University of Twente, Netherlands, 1993.
Graphical Support for Prototyping of Algebraic Specifications by.. - Bardohl (1996) (Correct)
....functions can be used i.e. to create terms, to compare terms, etc. In addition, kimwitu supports the creation of storage classes for necessarily symbol tables. For each symbol table entry a C data type is generated together with a create function for each operator. For more details we refer to [EB93]. The following considerations led to the decision to take these tools: ffl A work with methods like context free grammars and attributed grammars is possible until implementation level. ffl This work has an experimental character. That means a simple maintenance is an important requirement to ....
P.van Eijk, A.Belinfante. The Term Processor Kimwitu: Manual and Cookbook, Version 3.8, University of Twente, Department of Computer Science, Enschede, March 1993
A Formal Compiler Specification Method - Levin, Bounimova, Inan (Correct)
.... testing it in a systematic and efficient manner a compiler application More precisely can it be used at all in some manner that may render it superior to an informal programming approach using state of the art compiler construction toolkits such as Lex Yacc, Karlsruhe Coctail [10] or Kimwitu [9]. Based on our first hand experience with the compiler specification method explained in this paper in designing and implementing a compiler from the language SDL (an ITU T ISO 1 Research partially supported by T UB ITAK, Project EEEAG COST 247, NATO AGARD Project T 93 and B ILTEN T UB ITAK. 2 ....
P. van Eijk, A. Belinfante, "The Term Processor Kimwitu - Manual and Cookbook", University of Twente, Netherlands, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC