Example 2: KWIC — index generation

  • H. Ehrig
  • H. -J. Kreowski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)


Parameterized Specification Cyclic Shift Significant Rotation Abstract Data Type Algebraic Specification 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /ADJ 76-78/.
    Goguen, J.A.-Thatcher, J.W.-Wagner,E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types, IBM Research Report RC-6487, Oct. 76. Current Trends in Programming Methodology, IV: Data Structuring (R.T.Yeh,Ed.) Prentice Hall, New Jersey (1978), pp. 80–149Google Scholar
  2. /ADJ 80-81/.
    Ehrig, H.-Kreowski, H.-J.-Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Parameterized data types in algebraic specification languages, LNCS 85 (1980),pp. 157–168, long version to appear 1981Google Scholar
  3. /Ehr 81/.
    Ehrig, H.: Algebraic theory of parameterized specifications with requirements, LNCS 112(1981), pp. 1–24Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • H. Ehrig
    • 1
  • H. -J. Kreowski
    • 1
  1. 1.TU Berlin Fachbereich InformatikUK

Personalised recommendations