References in zbMATH (referenced in 29 articles , 1 standard article )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. Kepner, Jeremy; Jananthan, Hayden: Mathematics of big data. Spreadsheets, databases, matrices, and graphs. With a foreword by Charles E. Leiserson (2018)
  2. Harel, David; Rosner, Roni: Algorithmics. The spirit of computing. (1992)
  3. Siekmann, Jörg H.: Unification theory (1989)
  4. Liu, Ken-Chih: A string pattern matching extension to Pascal and some comparisons with SNOBOL4 (1986)
  5. Murzin, F. A.: Syntactic properties of the REFAL language (1985)
  6. Siegel, Morris M.: Proving properties of Snobol4 patterns: selecting the assertion format (1984)
  7. Fleck, A. C.: Verifying abstract data types with SNOBOL4 (1982)
  8. Fraser, Christopher W.; Hanson, David R.: A machine-independent linker (1982)
  9. Lecarme, Olivier; Pellissier, Mirelle; Thomas, Marie-Claude: Computer-aided production of language implementation systems: A review and classification (1982)
  10. Pinzani, R.; Sprugnoli, R.: The separability of formal languages (1982)
  11. Aguzzi, Gianni: The theory of invertible algorithms (1981)
  12. Angluin, Dana: Finding patterns common to a set of strings (1980)
  13. Griswold, Ralph E.: Linguistic extension of abstract machine modelling to aid software development (1980)
  14. Hanson, David R.: A portable file directory system (1980)
  15. Mudur, S. P.; Narwekar, A. W.: Design of software for text composition (1979)
  16. Pagan, Frank G.: A highly-structured interpreter for a SNOBOL 4 subset (1979)
  17. Hanson, David R.: Event associations in SNOBOL 4 for program debugging (1978)
  18. Lecarme, Olivier; Peyrolle-Thomas, Marie-Claude: Self-compiling compilers: An appraisal of their implementation and portability (1978)
  19. Paget, Martine: Propriétés de complexite pour une famille d’algorithmes de Markov (1978)
  20. Dewar, Robert B. K.; McCann, A. P.: MACRO SPITBOL - a SNOBOL4 compiler (1977)

1 2 next