TTT — A simple type checked C language abstract data type generator

  • W. J. Toetenel
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)


The paper addresses a simple abstract data type facility for C programming, based on the VDM-SL specification language. Its main design goals were simplicity, concise representation and fast access of its data type values. The tool is under development. Test versions are succesfully applied within the context of compiler construction education and a large tool construction project.


abstract data type facility C-language VDM-SL 


  1. [1]
    K. Arnold and J. Gosling. The Java Programming Language. Addison Wesley, Reading, MA, 1996.zbMATHGoogle Scholar
  2. [2]
    J. Dawes. The VDM-SL Reference Guide. Pitman, 1991.Google Scholar
  3. [3]
    R.W. Gray, V.P. Heuring, S.P. Levi, A.M. Sloane, and W.M. Waite. Eli: A complete, flexible compiler construction system. Communications of the ACM, pages 121–130, February 1992.Google Scholar
  4. [4]
    J. Grosch. Ast - a generator for abstract syntax trees. Technical Report 15, Gesellschaft für Mathematik und Datenverarbeitung mbH, Universität Karsruhe, 1982.Google Scholar
  5. [5]
    J. Grosch. Generators for high speed front-ends. LNCS, 371: 81–92, 1988.Google Scholar
  6. [6]
    C.B. Jones. Systematic Software Development Using VDM, 2-nd edition. PHI. Prentice Hall, 1990.Google Scholar
  7. [7]
    J. van Katwijk and J. van Someren. Descriptors for Das. Technical Report 82–20, Faculty of Technical Mathematics and Informatics, Delft Univeristy of Technology, 1982.Google Scholar
  8. [8]
    B.W. Kernighan and D.M. Ritchie. The C Programming Language. 2nd Edition, Prentice Hall, Englewood Cliffs, NJ, 1988.Google Scholar
  9. [9]
    P.G. Larsen et al. The dynamic semantics of the bsi/vdm specification language. Technical report, IFAD, The institute of Applied Computer Science, Munkebjergsvaenget 17, DK-5230 Odense M, Denmark, August 1990.Google Scholar
  10. [10]
    B Liskov and J. Guttag. Abstraction and Specification in Program Development. McGraw-Hill, New York, 1986.zbMATHGoogle Scholar
  11. [11]
    J.R. Nestor, J.M. Newcomber, P. Giannini, and D.L. Stone. IDL: The Language and its Implementation. Prentice Hall, Englewood Cliffs, NJ, 1989.Google Scholar
  12. [12]
    J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, and E. Schonberg. Programming with sets: An introduction to SETL. Springer Verlag, Berlin, 1986.zbMATHCrossRefGoogle Scholar
  13. [13]
    J.M. Spivey. The Z Notation. PHI. Prentice Hall, 1987.Google Scholar
  14. [14]
    B. Stroustrup. The C++ Programming Language. 2nd Edition, Addison Wesley, Reading, MA, 1992.Google Scholar

Copyright information

© IFIP 1998

Authors and Affiliations

  • W. J. Toetenel
    • 1
  1. 1.Faculty of Information Technology and Systems Section Software Engineering and Programming Languages & CompilersDelft University of TechnologyDelftThe Netherlands

Personalised recommendations