On the role of semantic approximations in validation and diagnosis of constraint logic programs

Autoria(s): Bueno Carrillo, Francisco; Deransart, Pierre; Drabent, Wlodek; Ferrand, Gerard; Hermenegildo, Manuel V.; Maluszynski, Jan; Puebla Sánchez, Alvaro Germán
Data(s)

01/05/1997
Resumo

Abstract is not available.
Formato

application/pdf
Identificador

http://oa.upm.es/14557/
Idioma(s)

eng
Publicador

Facultad de Informática (UPM)
Relação

http://oa.upm.es/14557/1/HERMENE_IPT_1997-3.pdf

http://www.ep.liu.se/ea/cis/1997/009/13/index.html
Direitos

http://creativecommons.org/licenses/by-nc-nd/3.0/es/

info:eu-repo/semantics/openAccess
Fonte

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming | Third International Workshop on Automatic Debugging | May 26-27, 1997 | Linköping, Sweden
Palavras-Chave #Informática
Tipo

info:eu-repo/semantics/conferenceObject

Ponencia en Congreso o Jornada

PeerReviewed
Acesso ao item digital