Typelab: An Environment for Modular Program Development

Martin Strecker, Marko Luther, F.W. von Henke

Appeared in the Procceedings of TAPSOFT'97
LNCS 1214, Springer-Verlag


Our contribution to TAPSOFT'97 (Seventh International Joint Conference on the Theory and Practice of Software Development) is a system demo proposal containing a brief description of the Typelab system.
 Online Copy

Available as Postscript (4 pages, ca 78 KB)
 BibTeX Entry

  author =       {F.W. von Henke and M. Luther and M. Strecker},
  title =        {{\sc Typelab}: An Environment for Modular Program Development},
  booktitle =    {Proceedings TAPSOFT'97},
  editor =       {M. Bidoit, M. Dauchet},
  year =         1997,
  publisher =    {Springer LNCS 1214},
  pages =        {851--854}

Last modified: Sat Nov 11 20:33:46 CET 2006