Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Analysis and Visualization Tools for Constraint Programming [[electronic resource] ] : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski
| Analysis and Visualization Tools for Constraint Programming [[electronic resource] ] : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XXII, 370 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Artificial intelligence Mathematical logic Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-40016-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions with Constraints for CLP Debugging -- Locating Type Errors in Untyped CLP Programs -- Declarative Diagnosis in the CLP Scheme -- II. Performance Debugging -- Visual Tools to Debug Prolog IV Programs -- Search-Tree Visualisation -- Towards a Language for CLP Choice-Tree Visualisation -- Tools for Search-Tree Visualisation: The APT Tool -- Tools for Constraint Visualisation: The VIFID/TRIFID Tool -- Debugging Constraint Programs by Store Inspection -- Complex Constraint Abstraction: Global Constraint Visualisation -- III. Test Cases -- Using Constraint Visualisation Tools. |
| Record Nr. | UNISA-996465946803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analysis and Visualization Tools for Constraint Programming : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski
| Analysis and Visualization Tools for Constraint Programming : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XXII, 370 p.) |
| Disciplina | 005.1/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Artificial intelligence Mathematical logic Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-40016-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions with Constraints for CLP Debugging -- Locating Type Errors in Untyped CLP Programs -- Declarative Diagnosis in the CLP Scheme -- II. Performance Debugging -- Visual Tools to Debug Prolog IV Programs -- Search-Tree Visualisation -- Towards a Language for CLP Choice-Tree Visualisation -- Tools for Search-Tree Visualisation: The APT Tool -- Tools for Constraint Visualisation: The VIFID/TRIFID Tool -- Debugging Constraint Programs by Store Inspection -- Complex Constraint Abstraction: Global Constraint Visualisation -- III. Test Cases -- Using Constraint Visualisation Tools. |
| Record Nr. | UNINA-9910767559703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||