Typelab: An Environment for Modular Program Development

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

@InProceedings{vonHenke:97a,
  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}
}