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 |