Example 2: KWIC — index generation

  • Joseph A. Goguen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Goguen & Burstall 80]
    Goguen, J. A. and Burstall, R. M. An Ordinary Design. Technical Report, SRI International, 1980. Draft report.Google Scholar
  2. [Goguen 81]
    Goguen, J. A. ORDINARY Specification of Some Construction in Plane Geometry. In Staunstrup, J., editor, Proceedings, Workshop on Program Specification,. Springer-Verlag, 1981. to appear in Lecture Notes in Computer Science.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Joseph A. Goguen
    • 1
  1. 1.Computer Science LaboratorySRI InternationalUSA

Personalised recommendations