Istituto di Scienza e Tecnologie dell'Informazione     
Levi G., Sirovich F. Pattern matching and call by pattern. Internal note IEI-B75-10, 1975.
The paper describes SNARK, a new pattern matching language which specifically designed with a new and effective control mechanism (pattern directed procedure call). SNARK features a powerful and extensible pattern language and an efficient pattern retrieval mechanism. SNARK pattern language interpreter is based on a technique called symbolic evaluation, which is currently of great interest in connection with program verification.

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