The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages / G. Bacci;M. Comini;M. A. Feliù;A. Villanueva. - 17(2012), pp. 144-153. ((Intervento presentato al convegno 28th International Conference on Logic Programming tenutosi a BUDAPEST, HUNGARY nel 2012.
Titolo: | The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages |
Autori: | |
Data di pubblicazione: | 2012 |
Rivista: | |
Handle: | http://hdl.handle.net/11390/1042200 |
ISBN: | 9783939897439 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
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.