Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)
Example 2: KWIC — index generation
KeywordsParameterized 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.
- /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
- /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
- /Ehr 81/.Ehrig, H.: Algebraic theory of parameterized specifications with requirements, LNCS 112(1981), pp. 1–24Google Scholar
© Springer-Verlag Berlin Heidelberg 1982