Data di Pubblicazione:
1975
Abstract:
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
Tipologia CRIS:
04B-Conference paper in rivista
Keywords:
Pattern matching; Pattern matching language; Pattern directed procedure call; Symbolic evaluation; Program verification
Elenco autori:
Giorgio Levi; Franco Sirovich
Link alla scheda completa:
Pubblicato in: