Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-17
|
Content
| Files: | Description | File size | Format | |
| Fulltext | 557K | PDF (requires Acrobat Reader) | ||
| Fulltext | 411K | PostScript (requires a PostScript Reader) | ||
| Authors: | Gérard Ferrand and Alexandre Tessier | |||
| Article title: | Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons | |||
| Conference: | AADEBUG'97. Proceedings of the Third International Workshop on Automatic Debugging: Linköping, Sweden, May 26-27, 1997 | |||
| Publ. type: | Article | |||
| Article No: | 12 | |||
| Language: | English | |||
| Abstract [en]: | The paper is motivated by the declarative debugging of constraint logic programs. It deals with the theoretical basis of declarative incorrectness diagnosis. It starts with a reformulation of the program semantics in terms of proof tree skeletons, which is suitable for declarative diagnosis study. The program semantics is explained in terms of positive semantics and negative semantics. The problem of wrong answer is treated as an incorrectness of the positive semantics while the problem of missing answer is treated as an incorrectness of the negative semantics. Incorrectness diagnosis is based on a well-founded relation over computation states. | |||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1997 | |||
| Available: | 1997-09-10 | |||
| No. of pages: | 13 | |||
| Pages: | 141-153 | |||
| 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 | |||
| Checksum PDF: | e07c6f69225420e4cd3f33bba7dc10e6 /home/ep/www/ea/cis/1997/009/12/cis9700912.pdf (MD5) | |||
| Checksum PS: | a83e91f1fcd83e3a7f502af190065fdc /service/www-ep/docs/ea/cis/1997/009/12/cis9700912.ps (MD5) | |||
| PGP PDF: | PGP | |||
| PGP PS: | PGP | |||
| Old Checksum: | Checksum (PS) | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-17