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 | 204K | 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 | |||
| 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 | |||
| Checksum PDF: | d706d2fbccf5676ab34791ba750a2880 /home/ep/www/ea/cis/1997/009/13/cis9700913.pdf (MD5) | |||
| Checksum PS: | ceeb0760bfeefb99a5a174d1d3948b5c /service/www-ep/docs/ea/cis/1997/009/13/cis9700913.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