| Files: |
Description |
File size |
Format |
| Fulltext |
|
PDF (requires Acrobat Reader) |
| Fulltext |
|
PostScript (requires a PostScript Reader) |
| |
|
| Authors: |
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J.
Maluszynski and G. Puebla |
| Article title: |
On the Role of Semantic Approximations on Validation and Diagnosis
of Contraint Logic Programs |
| Conference: |
AADEBUG'97. Proceedings of the Third International Workshop
on Automatic Debugging: Linköping, Sweden, May 26-27, 1997 |
| Publ. type: |
Article |
| Article No: |
13 |
| Language: |
English |
| PDF |
| Publisher: |
Linköping University Electronic Press |
| Year: |
1997 |
| Available: |
1997-09-10 |
| No. of pages: |
15 |
| Pages: |
155-169 |
| Series: |
Linköping Electronic Articles in Computer and Information Science |
| ISSN: |
1401-9841 |
| Volume: |
2 |
| No: |
009 |
| Series: |
Linköping Electronic Conference
Proceedings |
| ISSN (print): |
1650-3686 |
| ISSN (online): |
1650-3740 |
| Issue: |
1 |
REFERENCE TO THIS PAGE:
| Bueno, F. ; Deransart, P. ; Drabent, W. ; Ferrand, G. ; Hermenegildo, M. ; Maluszynski, J.
and Puebla, G. (1997). On the Role of Semantic Approximations on Validation and Diagnosis
of Contraint Logic Programs in Linköping Electronic Articles in Computer and Information Science, Vol. 2, No. 009:13. http://www.ep.liu.se/ea/cis/1997/009/13/.
() |
|