Files:DescriptionFile size FormatBrowse
Fulltext0.54 MBPDF (requires Acrobat Reader)Previous | Next
PostScript
  
Authors:F. Bueno: Facultad de Informática, Universidad Politécnica de Madrid, Spain
P. Deransart: INRIA-Rocquencourt, Projet LOCO, France
W. Drabent: Institute of Computer Science, Polish Academy of Sciences, Poland
G. Ferrand: LIFO, University of Orléans, France
M. Hermenegildo: Facultad de Informática, Universidad Politécnica de Madrid, Spain
J. Maluszynski: Linköping University, Department of Computer and Information Science, Sweden
G. Puebla: Facultad de Informática, Universidad Politécnica de Madrid, Spain
Publication title:On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
Conference:Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97)
Publication type: Abstract and Fulltext
Issue:001
Article No.:013
Language:English
Year:1997
No. of pages:15
Pages:155-170
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ea/cis/1997/009/13/cis9700913.pdf
Available:1997-09-10
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, G. Puebla (1997). On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs, Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=013 (accessed 7/28/2014)