String analysis and synthesis in SL5

ABSTRACT

Advances in the understanding of string pattern matching have led to a coroutine model for scanning procedures that has been the basis for recent work. Motivated by the success of this work, the SL5 programming language has been developed to provide a vehicle for research in these areas. This paper describes the string scanning facilities of SL5 and illustrates how they may be used in the analysis and synthesis of strings.

REFERENCES

• 1: Ralph E Griswold, The SNOBOL 4 programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1971
• 2: J. F. Gimpel, A theory of discrete patterns and their implementation in SNOBOL4, Communications of the ACM, v.16 n.2, p.91-100, Feb. 1973 [doi>10.1145/361952.361960]
• 3: James F. Gimpel, Nonlinear pattern theory, Acta Informatica, vol. 4, 1975, 213-229.
• 4: R. D. Tennent, Mathematical semantics of SNOBOL4, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.95-107, October 01-03, 1973, Boston, Massachusetts [doi>10.1145/512927.512936]
• 5: Andrew W. Mikel, Comparative study of the semantics of selected programming languages, technical report TR 73-9, Computer, Information, and Control Sciences, The University of Minnesota, Minneapolis. August 1973.
• 6: Frederick C. Druseikis , John N. Doyle, A procedural approach to pattern matching in SNOBOL4, Proceedings of the 1974 annual conference, p.311-317, January 1974 [doi>10.1145/800182.810418]
• 7: John N. Doyle, A generalized facility for the analysis and synthesis of strings and a procedure-based model of an implementation, SNOBOL4 project document S4D48, Department of Computer Science, The University of Arizona, Tucson, February 1975.
• 8: Ralph E. Griswold, Extensible pattern matching in SNOBOL4, Proceedings of the 1975 annual conference, p.248-252, January 1975 [doi>10.1145/800181.810331]
• 9: Ralph E. Griswold and David R. Hanson, An overview of the SL5 programming language, SL5 project document S5LD1a, Department of Computer Science, The University of Arizona, Tucson, February 1976.
• 10: David R. Hanson, The syntax and semantics of SL5, SL5 project document S5LD2a, Department of Computer Science, The University of Arizona, Tucson, April 1976.
• 11: Ralph E. Griswold, String scanning in SL5, SL5 project document S4LD5a, Department of Computer Science, The University of Arizona, Tucson, June 1976.
• 12: David R. Hanson and Ralph E. Griswold, The SL5 procedure mechanism, SL5 project document S5LD4, Department of Computer Science, The University of Arizona, Tucson, February 1976.
• 13: David R. Hanson, Associated processes in SL5, SL5 project document S5LD7, Department of Computer Science, The University of Arizona, Tucson, June 1976.
• 14: John C. Hallyburton Jr., Advanced data structure manipulation facilities for the SNOBOL4 programming language, SNOBOL4 project document S4D42, Department of Computer Science, The University of Arizona, Tucson, May 1974.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
      F.2.2 Nonnumerical Algorithms and Problems
          Subjects: Pattern matching

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Control structures

General Terms:
Algorithms, Languages, Theory