On the role of semantic approximations in validation and diagnosis of constraint logic programs
| Autor: | Bueno Carrillo, Francisco, Deransart, Pierre, Drabent, Wlodek, Ferrand, Gerard, Hermenegildo, Manuel V., Maluszynski, Jan, Puebla Sánchez, Alvaro Germán |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 1997 |
| Předmět: | |
| Zdroj: | ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming | Third International Workshop on Automatic Debugging | May 26-27, 1997 | Linköping, Sweden Archivo Digital UPM instname |
| Popis: | is not available. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|