Abstract
We present an approach to the design of a literate programming tool for the algebraic programming language Opal, which serves as a back-end in the formal program derivation process. In designing our documentation system we not only take technical aspects into account, but also have the acceptance of the documentation system by the software developer in mind.
Chapter PDF
References
K. Didrich, A. Fett, C. Gerke, W. Grieskarnp, and P. Pepper. OPAL: Design and Implementation of an Algebraic Programming Language. In J. Gutknecht, editor, Programming Languages and System Architectures, LNCS 782, pages 228–244. Springer, 1994.
K. Didrich, C. Gerke, W. Grieskamp, C. Maeder, and P. Pepper. Towards Integrating Algebraic Programming and Functional Programming: the Opal System. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 559–562. Springer, 1996.
K. Didrich and T. Klein. A Pragmatical Approach to Software Documentation. Technical Report 96-4, TU Berlin, November 1996.
Th. Frauenstein, W. Grieskamp, P. Pepper, and M. Südholt. Concurrent Functional Programming of Graphical User Interfaces. Technical Report 95-19, TU Berlin, 1996.
The GRASP Team. Glasgow Literate Programming User's Guide, September 1992. Contact: Will Partain.
W. Grieskamp. User's Guide to Editing, Typesetting and Type-Checking Z Specifications with the ESZ Toolkit, 1996. Bundled with the ESZ distribution.
D. E. Knuth. Literate programming. The Computer Journal, 27(2):97–111, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Didrich, K., Klein, T. (1997). DOSFOP — A documentation tool for the algebraic programming language Opal. In: Bidoit, M., Dauchet, M. (eds) TAPSOFT '97: Theory and Practice of Software Development. CAAP 1997. Lecture Notes in Computer Science, vol 1214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030651
Download citation
DOI: https://doi.org/10.1007/BFb0030651
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62781-4
Online ISBN: 978-3-540-68517-3
eBook Packages: Springer Book Archive