default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/discipl/discipl2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/discipl/AillaudD00,
author = {Christophe Aillaud and
Pierre Deransart},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Towards a Language for {CLP} Choice-Tree Visualisation},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {209--236},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_9},
doi = {10.1007/10722311\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/discipl/AillaudD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/Bouvier00,
author = {Pascal Bouvier},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Visual Tools to Debug Prolog {IV} Programs},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {177--190},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_7},
doi = {10.1007/10722311\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/Bouvier00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/CarroH00,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Tools for Search-Tree Visualisation: The {APT} Tool},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {237--252},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_10},
doi = {10.1007/10722311\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/CarroH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/CarroH00a,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Tools for Constraint Visualisation: The {VIFID/TRIFID} Tool},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {253--272},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_11},
doi = {10.1007/10722311\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/CarroH00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/DeransartHM00,
author = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Debugging of Constraint Programs: The DiSCiPl Methodology and Tools
- Introduction},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {1--20},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_1},
doi = {10.1007/10722311\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/DeransartHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/DrabentMP00,
author = {Wlodzimierz Drabent and
Jan Maluszynski and
Pawel Pietrzak},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Locating Type Errors in Untyped {CLP} Programs},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {121--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_5},
doi = {10.1007/10722311\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/DrabentMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/GoualardB00,
author = {Fr{\'{e}}d{\'{e}}ric Goualard and
Fr{\'{e}}d{\'{e}}ric Benhamou},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Debugging Constraint Programs by Store Inspection},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {273--297},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_12},
doi = {10.1007/10722311\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/GoualardB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/Lai00,
author = {Claude La{\"{\i}}},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Assertions with Constraints for {CLP} Debugging},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {109--120},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_4},
doi = {10.1007/10722311\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/Lai00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/PueblaBH00,
author = {Germ{\'{a}}n Puebla and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {An Assertion Language for Constraint Logic Programs},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {23--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_2},
doi = {10.1007/10722311\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/PueblaBH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/PueblaBH00a,
author = {Germ{\'{a}}n Puebla and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {A Generic Processor for Program Validation and Debugging},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {63--107},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_3},
doi = {10.1007/10722311\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/PueblaBH00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/SimonisA00,
author = {Helmut Simonis and
Abderrahmane Aggoun},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Search-Tree Visualisation},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {191--208},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_8},
doi = {10.1007/10722311\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/SimonisA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/SimonisABB00,
author = {Helmut Simonis and
Abderrahmane Aggoun and
Nicolas Beldiceanu and
Eric Bourreau},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Complex Constraint Abstraction: Global Constraint Visualisation},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {299--317},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_13},
doi = {10.1007/10722311\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/SimonisABB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/SimonisCDFNT00,
author = {Helmut Simonis and
Trijntje Cornelissens and
Veroniek Dumortier and
Giovanni Fabris and
F. Nanni and
Adriano Tirabosco},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Using Constraint Visualisation Tools},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {321--356},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_14},
doi = {10.1007/10722311\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/SimonisCDFNT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/TessierF00,
author = {Alexandre Tessier and
G{\'{e}}rard Ferrand},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Declarative Diagnosis in the {CLP} Scheme},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {151--174},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_6},
doi = {10.1007/10722311\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/TessierF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/discipl/2000,
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311},
doi = {10.1007/10722311},
isbn = {3-540-41137-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-06 20:01 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
