Istituto di Scienza e Tecnologie dell'Informazione     
Levi G., Sirovich F. Pattern matching and goal directed computation. Internal note IEI-B73-21, 1973.
This paper described SNARK, a new pattern matching language, and it is use in connection with goal directed computation.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional