|
|||||
|
|
Verification of Meta-interpreters |
|
| Authors: | PEDRESCHI, DINO RUGGIERI, SALVATORE |
| Affiliation: | Dipartimento di Informatica, Università di Pisa Corso Italia 40, 56125 Pisa, Italy. E-mail: pedreruggieri{at}di.unipi.it |
| Abstract: | |
| Keywords: | meta-programming logic programming verification of logic programs vanilla |
| 本文献已被 Oxford 等数据库收录！ | |