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
1997



 
 Abstract

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}
}


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