Article | Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) | On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

Title:
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
Author:
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:
Full text (pdf) Full text (ps)
Year:
1997
Conference:
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Issue:
001
Article no.:
013
Pages:
155-170
No. of pages:
15
Publication type:
Abstract and Fulltext
Published:
1997-09-10
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Series:
Linköping Electronic Articles in Computer and Information Science
ISSN (online):
1401-9841
Publisher:
Linköping University Electronic Press; Linköpings universitet


No abstract available

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

Author:
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, G. Puebla
Title:
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
References:
No references available

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

Author:
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, G. Puebla
Title:
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment