17th International Workshop on Logic-based methods in Programming Environments (WLPE'07)
A Prolog-Based Environment for Reasoning About Programming Languages / Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea. - Technical Report arXiv:cs.PL/0711.0345:(2007).
A Prolog-Based Environment for Reasoning About Programming Languages
BAGNARA, Roberto;ZAFFANELLA, Enea
2007-01-01
Abstract
17th International Workshop on Logic-based methods in Programming Environments (WLPE'07)File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
