specification of a tool for viewing program text

  • Airi Salminen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 213)


The maintenance of large programs is a demanding process where lot of information is needed. Much of this information is in the program text. However, the finding of the needed information may be very difficult. It seems evident that more powerful tools are needed for helping the maintainers to find the information they need.

The paper introduces a method for extending information retrieval capabilities of document handling systems. The specific documents which are considered in this paper are program texts. For the specification we shall use notions of a generic document model where operations for selecting parts of documents as well as operations for manipulating documents have been defined. The model supports flexible and powerful retrieval capabilities from documents and it allows different views of the same documents. As an example we shall specify a tool for accessing information from Pascal programs.


Line Number Document Type Document Structure Selection Operation Program Text 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Archer, J. and Conway, R., Display condensation of program text, IEEE Trans. Softw. Eng. 8,5 (Sep. 1982), 526–529.Google Scholar
  2. 2.
    Burkhart, H. and Nievergelt, J., Structure-oriented editors, Institut für Informatik ETH, Zürich, 1980.Google Scholar
  3. 3.
    Codd, E.F., A relational model of data for large shared data banks, Commun.ACM 13,6 (June 1970), 377–387.Google Scholar
  4. 4.
    Donzeau-Gouge, V., Huet, G, Kahn, G., Lang, G., Programming environments based on structure editors: the MENTOR experience, IRIA, 1980.Google Scholar
  5. 5.
    Habermann, A.N., System development environments, in Tools and Notions for Program Construction (ed. by D. Néel), Cambridge Univ. Press, Cambridge, 1982.Google Scholar
  6. 6.
    Horwitz, S., Teitelbaum, T., Relations and attributes: a symbiotic basis for the editing environments, ACM SIGPLAN Not. 20,7 (July 1985), 93–106.Google Scholar
  7. 7.
    Leitntz, B. and Swanson, E.B., Software Maintenance Management, Addison-Wesley, 1980.Google Scholar
  8. 8.
    Lewis, J.W., Beyond ALBE/P: Language Neutral Form. 5th Int. Conf. on Software Engineering, IEEE Computer Society (1981), 422–429.Google Scholar
  9. 9.
    Mallgren, W.R., Formal Specification of Interactive Graphics Programming Languages, The MIT Press, 1985.Google Scholar
  10. 10.
    Meyer, B., Nerson, J.-M., Ko, S.H., Showing programs on a screen, Science of Computer Programming 5,2 (June 1985), 111–142.Google Scholar
  11. 11.
    Salminen, A. and Back, R.J.R., A relational model for documents, Proc. of the Int. Symposium on New Directions in Computing, IEEE Computer Society (1985), 50–59.Google Scholar
  12. 12.
    Shapiro, D.G., Dean, J.S., McCune, B.P., A knowledge base for supporting an intelligent program editor, 7th Int. Conf. on Software Engineering, IEEE Computer Society (1984), 381–386.Google Scholar
  13. 13.
    Smith, S.R., Barnard, D.T., Macleod, I.A., Holophrasted displays in an interactive environment, Int.J.Man-Mach.Stud. 20,4 (April 1984), 343–355.Google Scholar
  14. 14.
    Sproull, R.F., Raster graphics for interactive programming environments, ACM SIGGRAPH 13,2 (August 1979), 83–93.Google Scholar
  15. 15.
    Strömfors, O. and Jonesjö, L., The implementation and experiences of a structure oriented text editor, ACM SIGPLAN Not. 16,6 (June 1981), 22–27.Google Scholar
  16. 16.
    Warren, S., MAP: a tool for understanding software, Proc. of 6th Int. Conf. on Software Engineering (1982), 28–37.Google Scholar
  17. 17.
    Wood, S.R., Z — The 95 % program editor, ACM SIGPLAN Not. 16,6 (June 1981), 1–7.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Airi Salminen
    • 1
  1. 1.Department of Computer ScienceUniversity of JyväskyläJyväskyläFinland

Personalised recommendations