PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Levi G., Sirovich F. Pattern matching and call by pattern. In: G.I.-75 Jahrestagung (Dortmund, 1975). Proceedings, (Lecture Notes in Computer Science, vol. 35). Springer, Berlin, 1975.
 
 
Abstract
(English)
The paper describes SNARK, a new pattern matching language which was specifically designed with the aim of extending programming languages 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.
Subject


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