Dr.Ir. W.J. Toetenel
2628 BL Delft
Electronic mail address email@example.com
Web address http://sepc.twi.tudelft.nl/~toet
(this page is currently under construction)
Universitair Hoofdocent Programmeren, Programmeertalen en Vertalers
Department or workgroup
My department's name : section SEPC (Software Engineering, Programming languages and Compilers)
prof. dr. ir. J. van Katwijk
The main difference between TTT and similar tools is the simplicity of the data definition language (DDL) and the dynamic type-checking facility of the constructed data type values. The DDL offers a model-oriented datatype structure similar to the approach taken in the VDM-SL specification language. DDL build-in data types include composite and union types, set, sequence and map types, tuple types and basic types such as integer, boolean and real types. Further DDL enables the definition of complex user-defined data types based on these build-in data types. For each build-in data type TTT offers a complete range of value manipulating functions, including the support for composite type values, set, sequence, map and tuple values. The support for complete tree structured data values include type checking facilities, tree copying, relational operators (equality and inequality), fast tree reading and writing operations, tree traversal operations, tree destruction and memory management operations and simple tree property management operations.
The usage of TTT is simple. The first step is the development of a DDL description of the data types for which support is to be generated. Next, a single application of the TTT generator results in a pre-compiled library containing all generated support functions and a C language header file which embodies the interface to the library functions. Now the user can develop applications using the library functions of the generated library. The library is created by the GNU C language translator tools.
Currently a prototype of TTT is operational and being used to develop a model-checker for a process algebra based formal specification language, MTCCS, developed within the research group of SEPC. Within the next months the prototype will be further refined and made available to others through the TTT www page.
(will be added shortly)
Back to Top