Conference article

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

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

Download articlehttp://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=013

Published in: Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Linköping Electronic Conference Proceedings 1:13, s. 155-170

Linköping Electronic Articles in Computer and Information Science 009:13, s. 155-170

Show more +

Published: 1997-09-10

ISBN:

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

No abstract available

Keywords

No keywords available

References

No references available

Citations in Crossref