IRIS

Pettorossi, A., Proietti, M., Senni, V. (2010). The transformational approach to program development. In A. Dovier and E. Pontelli (a cura di), A 25 year perspective on logic programming (achievements of the Italian association for logic programming, GULP) (pp. 112-135). Springer Verlag.

The transformational approach to program development

PETTOROSSI, ALBERTO;SENNI, VALERIO
2010-01-01
2010
Settore ING-IND/05 - IMPIANTI E SISTEMI AEROSPAZIALI
Settore INF/01 - INFORMATICA
English
Rilevanza internazionale
Capitolo o saggio
Program Development; Program Transformation
Technical Report R. 09-06, IASI-CNR, Rome, Italy, 2009
http://www.iasi.cnr.it/~adp/
Pettorossi, A., Proietti, M., Senni, V. (2010). The transformational approach to program development. In A. Dovier and E. Pontelli (a cura di), A 25 year perspective on logic programming (achievements of the Italian association for logic programming, GULP) (pp. 112-135). Springer Verlag.
Pettorossi, A; Proietti, M; Senni, V
Contributo in libro
03 - Contributo in libro
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/15415
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact