IRIS

De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2013). Verifying programs via iterated specialization. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13) (pp.43-52). ACM Press [10.1145/2426890.2426899].

Verifying programs via iterated specialization

PETTOROSSI, ALBERTO;
2013-01-01
ACM SIGPLAN workshop on partial evaluation and program manipulation (PEPM'13)
Rome, Italy
2103
Rilevanza internazionale
contributo
2013
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
Intervento a convegno
De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2013). Verifying programs via iterated specialization. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13) (pp.43-52). ACM Press [10.1145/2426890.2426899].
De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/76508
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact