| Files: | Description | File size | Format | Browse |
| Fulltext | 0.54 MB | PDF (requires Acrobat Reader) | Previous | Next |
| PostScript | | | |
| | |
| Authors: | 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 |
| Publication title: | On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs |
| Conference: | Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97) |
| Publication type: | Abstract and Fulltext |
| Issue: | 001 |
| Article No.: | 013 |
| Language: | English |
| Year: | 1997 |
| No. of pages: | 15 |
| Pages: | 155-170 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ea/cis/1997/009/13/cis9700913.pdf |
| Available: | 1997-09-10 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
REFERENCE TO THIS PAGE | F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, G. Puebla (1997). On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs, Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=013 (accessed 6/19/2013) |
|
Ph.D., Lic. Theses
