Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Baudouin Le Charlier
@article{DBLP:journals/corr/abs-2307-06436,
author = {Baudouin Le Charlier},
title = {A Program That Simplifies Regular Expressions (Tool paper)},
journal = {CoRR},
volume = {abs/2307.06436},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.06436},
doi = {10.48550/ARXIV.2307.06436},
eprinttype = {arXiv},
eprint = {2307.06436},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-06436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-06203,
author = {Baudouin Le Charlier},
title = {Experimental Evaluation of a Method to Simplify Expressions},
journal = {CoRR},
volume = {abs/2003.06203},
year = {2020},
url = {https://arxiv.org/abs/2003.06203},
eprinttype = {arXiv},
eprint = {2003.06203},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-06203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CharlierKLD17,
author = {Baudouin Le Charlier and
Minh Thanh Khong and
Christophe Lecoutre and
Yves Deville},
editor = {Carles Sierra},
title = {Automatic Synthesis of Smart Table Constraints by Abstraction of Table
Constraints},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {681--687},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/95},
doi = {10.24963/IJCAI.2017/95},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CharlierKLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/CharlierA16,
author = {Baudouin Le Charlier and
M{\^{e}}ton M{\^{e}}ton Atindehou},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {A Data Structure to Handle Large Sets of Equal Terms},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {81--94},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/hsbm},
doi = {10.29007/HSBM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/CharlierA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CharlierA15,
author = {Baudouin Le Charlier and
M{\^{e}}ton M{\^{e}}ton Atindehou},
editor = {Boris Konev and
Stephan Schulz and
Laurent Simon},
title = {A Method to Simplify Expressions: Intuition and Preliminary Experimental
Results},
booktitle = {IWIL@LPAR 2015, 11th International Workshop on the Implementation
of Logics, Suva, Fiji, November 23, 2015},
series = {EPiC Series in Computing},
volume = {40},
pages = {37--51},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/jv63},
doi = {10.29007/JV63},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CharlierA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcritis/VanderaveroBBC08,
author = {Nicolas Vanderavero and
Xavier Brouckaert and
Olivier Bonaventure and
Baudouin Le Charlier},
title = {The HoneyTank: a scalable approach to collect malicious internet traffic},
journal = {Int. J. Crit. Infrastructures},
volume = {4},
number = {1/2},
pages = {185--205},
year = {2008},
url = {https://doi.org/10.1504/IJCIS.2008.016100},
doi = {10.1504/IJCIS.2008.016100},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcritis/VanderaveroBBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/GobertC08,
author = {Franc{\c{c}}ois Gobert and
Baudouin Le Charlier},
title = {Un syst{\`{e}}me v{\'{e}}rifiant des propri{\'{e}}t{\'{e}}s
op{\'{e}}rationnelles de programmes logiques},
journal = {Tech. Sci. Informatiques},
volume = {27},
number = {8},
pages = {1033--1064},
year = {2008},
url = {https://doi.org/10.3166/tsi.27.1033-1064},
doi = {10.3166/TSI.27.1033-1064},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/GobertC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OspinaC09,
author = {Gustavo A. Ospina and
Baudouin Le Charlier},
editor = {Matthew Hennessy and
Bartek Klin},
title = {Formalisation of {C} Language Interfaces},
booktitle = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {4},
pages = {67--84},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.074},
doi = {10.1016/J.ENTCS.2009.07.074},
timestamp = {Fri, 24 Feb 2023 11:47:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OspinaC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iesa/OspinaC07,
author = {Gustavo A. Ospina and
Baudouin Le Charlier},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
J{\"{o}}rg P. M{\"{u}}ller and
Kai Mertins and
Martin Zelm},
title = {Towards precise descriptions for programming language interoperability:
a general approach based on operational semantics},
booktitle = {Enterprise Interoperability {II} - New Challenges and Industrial Approaches,
Proceedings of the 3th International Conference on Interoperability
for Enterprise Software and Applications, {IESA} 2007, March 27-30,
2007, Funchal, Madeira Island, Portugal},
pages = {581--586},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-84628-858-6\_63},
doi = {10.1007/978-1-84628-858-6\_63},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iesa/OspinaC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-5895,
author = {Franc{\c{c}}ois Gobert and
Baudouin Le Charlier},
title = {Source-to-source optimizing transformations of Prolog programs based
on abstract interpretation},
journal = {CoRR},
volume = {abs/0710.5895},
year = {2007},
url = {http://arxiv.org/abs/0710.5895},
eprinttype = {arXiv},
eprint = {0710.5895},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-5895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/DonyC06,
author = {Isabelle Dony and
Baudouin Le Charlier},
editor = {Renzo Davoli and
Michael Goldweber and
Paola Salomoni},
title = {A tool for helping teach a programming method},
booktitle = {Proceedings of the 11th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy,
June 26-28, 2006},
pages = {212--216},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140124.1140181},
doi = {10.1145/1140124.1140181},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/DonyC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PolletC05,
author = {Isabelle Pollet and
Baudouin Le Charlier},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {Towards a Complete Static Analyser for Java: an Abstract Interpretation
Framework and its Implementation},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {85--98},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.025},
doi = {10.1016/J.ENTCS.2005.01.025},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PolletC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DonyC04,
author = {Isabelle Dony and
Baudouin Le Charlier},
editor = {Peter Van Roy},
title = {A Program Verification System Based on Oz},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
pages = {41--52},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31845-3\_4},
doi = {10.1007/978-3-540-31845-3\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/moz/DonyC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CharlierRH02,
author = {Baudouin Le Charlier and
Sabina Rossi and
Pascal Van Hentenryck},
title = {Sequence-based abstract interpretation of Prolog},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {1},
pages = {25--84},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001114},
doi = {10.1017/S1471068402001114},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CharlierRH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PolletCC01,
author = {Isabelle Pollet and
Baudouin Le Charlier and
Agostino Cortesi},
editor = {J{\o}rgen Lindskov Knudsen},
title = {Distinctness and Sharing Domains for Static Analysis of Java Programs},
booktitle = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference,
Budapest, Hungary, June 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2072},
pages = {77--98},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45337-7\_5},
doi = {10.1007/3-540-45337-7\_5},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/PolletCC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CortesiCR01,
author = {Agostino Cortesi and
Baudouin Le Charlier and
Sabina Rossi},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Reexecution-Based Analysis of Logic Programs with Delay Declarations},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {395--405},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_39},
doi = {10.1007/3-540-45575-2\_39},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/CortesiCR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/OspinaC01,
author = {Gustavo A. Ospina and
Baudouin Le Charlier},
editor = {Anthony J. Kusalik},
title = {On the Design of a Tool for Supporting the Construction of Logic Programs},
booktitle = {Proceedings of the Eleventh Workshop on Logic Programming Environments
(WLPE'01), Paphos, Cyprus, December 1, 2001},
year = {2001},
url = {https://arxiv.org/abs/cs/0111041},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/OspinaC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CortesiRC01,
author = {Agostino Cortesi and
Sabina Rossi and
Baudouin Le Charlier},
editor = {Agostino Dovier and
Maria Chiara Meo and
Andrea Omicini},
title = {Operational Semantics for Reexecution-based Analysis of Logic Programs
with Delay Declarations},
booktitle = {Declarative Programming - Selected Papers from {AGP} 2000, La Habana,
Cuba, December 4-6, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {48},
pages = {29--44},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00148-3},
doi = {10.1016/S1571-0661(04)00148-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CortesiRC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CortesiCH00,
author = {Agostino Cortesi and
Baudouin Le Charlier and
Pascal Van Hentenryck},
title = {Combinations of abstract domains for logic programming: open product
and generic pattern construction},
journal = {Sci. Comput. Program.},
volume = {38},
number = {1-3},
pages = {27--71},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00045-3},
doi = {10.1016/S0167-6423(99)00045-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CortesiCH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0010028,
author = {Baudouin Le Charlier and
Sabina Rossi and
Pascal Van Hentenryck},
title = {Sequence-Based Abstract Interpretation of Prolog},
journal = {CoRR},
volume = {cs.LO/0010028},
year = {2000},
url = {https://arxiv.org/abs/cs/0010028},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0010028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CharlierLRC99,
author = {Baudouin Le Charlier and
Christophe Lecl{\`{e}}re and
Sabina Rossi and
Agostino Cortesi},
title = {Automated Verification of Prolog Programs},
journal = {J. Log. Program.},
volume = {39},
number = {1-3},
pages = {3--42},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10032-8},
doi = {10.1016/S0743-1066(98)10032-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CharlierLRC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CharlierF98,
author = {Baudouin Le Charlier and
Pierre Flener},
title = {Specifications are necessarily informal or: Some more myths of formal
methods},
journal = {J. Syst. Softw.},
volume = {40},
number = {3},
pages = {275--296},
year = {1998},
url = {https://doi.org/10.1016/S0164-1212(98)00172-1},
doi = {10.1016/S0164-1212(98)00172-1},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CharlierF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BaldanCLP98,
author = {Dante Baldan and
Baudouin Le Charlier and
Christophe Lecl{\`{e}}re and
Isabelle Pollet},
editor = {Pierre Flener},
title = {A Step Towards a Methodology for Mercury Program Construction: {A}
Declarative Semantics for Mercury},
booktitle = {Logic Programming Synthesis and Transformation, 8th International
Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1559},
pages = {21--40},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_2},
doi = {10.1007/3-540-48958-4\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BaldanCLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CharlierLRC97,
author = {Baudouin Le Charlier and
Christophe Lecl{\`{e}}re and
Sabina Rossi and
Agostino Cortesi},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {Automated Behavioural Verification of Prolog Programs},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {189--200},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/CharlierLRC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/CharlierLRC97,
author = {Baudouin Le Charlier and
Christophe Lecl{\`{e}}re and
Sabina Rossi and
Agostino Cortesi},
editor = {R. K. Shyamasundar and
Kazunori Ueda},
title = {Automated Verification of Behavioural Properties of Prolog Programs},
booktitle = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1345},
pages = {225--238},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63875-X\_55},
doi = {10.1007/3-540-63875-X\_55},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/CharlierLRC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/MounjiC97,
author = {Abdelaziz Mounji and
Baudouin Le Charlier},
title = {Continuous Assessment of a Unix Configuration: Integrating Intrusion
Detection and Configuration Analysis},
booktitle = {Proceedings of the Network and Distributed System Security Symposium,
{NDSS} 1997, San Diego, California, {USA}},
pages = {27--37},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/NDSS.1997.579216},
doi = {10.1109/NDSS.1997.579216},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ndss/MounjiC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CharlierF97,
author = {Baudouin Le Charlier and
Pierre Flener},
editor = {Pascal Van Hentenryck},
title = {On the Desirable Link Between Theory and Practice in Abstract Interpretation
(Extended Abstract)},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {379--387},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032758},
doi = {10.1007/BFB0032758},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CharlierF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Charlier96,
author = {Baudouin Le Charlier},
editor = {Fran{\c{c}}ois Bodart and
Jean Vanderdonckt},
title = {Abstract Interpretation and Application to Interactive System Verification},
booktitle = {Design, Specification and Verification of Interactive Systems'96,
Proceedings of the Third International Eurographics Workshop, June
5-7, 1996, Namur, Belgium},
series = {Eurographics},
pages = {46--72},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-3-7091-7491-3\_3},
doi = {10.1007/978-3-7091-7491-3\_3},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/Charlier96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/HabraC96,
author = {Naji Habra and
Baudouin Le Charlier},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Unified Relational Framework for Programming Paradigm Combination},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {357--375},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/HabraC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CortesiCR96,
author = {Agostino Cortesi and
Baudouin Le Charlier and
Sabina Rossi},
editor = {John P. Gallagher},
title = {Specification-Based Automatic Verification of Prolog Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {38--57},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_3},
doi = {10.1007/3-540-62718-9\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CortesiCR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CharlierH95,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
title = {Reexecution in Abstract Interpretation of Prolog},
journal = {Acta Informatica},
volume = {32},
number = {3},
pages = {209--270},
year = {1995},
url = {https://doi.org/10.1007/BF01178260},
doi = {10.1007/BF01178260},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CharlierH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HentenryckCC95,
author = {Pascal Van Hentenryck and
Agostino Cortesi and
Baudouin Le Charlier},
title = {Type Analysis of Prolog Using Type Graphs},
journal = {J. Log. Program.},
volume = {22},
number = {3},
pages = {179--209},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00021-W},
doi = {10.1016/0743-1066(94)00021-W},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HentenryckCC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HentenryckCC95a,
author = {Pascal Van Hentenryck and
Agostino Cortesi and
Baudouin Le Charlier},
title = {Evaluation of the Domain \emph{Prop}},
journal = {J. Log. Program.},
volume = {23},
number = {3},
pages = {237--278},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00029-6},
doi = {10.1016/0743-1066(94)00029-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HentenryckCC95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CharlierH95,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
editor = {Jean{-}Jacques Chabrier},
title = {A generic fixpoint semantics for {PROLOG} and its application for
abstract interpretation},
booktitle = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation
par Contraintes et applications industrielles, 17-19 mai 1995, Dijon,
France},
pages = {113--125},
year = {1995},
timestamp = {Fri, 18 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/CharlierH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/CharlierR95,
author = {Baudouin Le Charlier and
Sabina Rossi},
editor = {Markus P. J. Fromherz and
Marc Kirschenbaum and
Anthony J. Kusalik},
title = {Entending the {FOLON} Environment for Automatically Deriving Totally
Correct Prolog Procedures from Logic Descriptions},
booktitle = {Proceedings of the 7th Workshop on Logic Programming Environments,
{LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
December 8, 1995},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/CharlierR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/ZampunierisC95,
author = {D. Zampuni{\'{e}}ris and
Baudouin Le Charlier},
editor = {Patrick W. Dowd and
Erol Gelenbe},
title = {An Efficient Algorithm to Compute the Synchronized Product},
booktitle = {{MASCOTS} '95, Proceedings of the Third International Workshop on
Modeling, Analysis, and Simulation On Computer and Telecommunication
Systems, January 10-18, 1995, Durham, North Carolina, {USA}},
pages = {77--81},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/MASCOT.1995.378650},
doi = {10.1109/MASCOT.1995.378650},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/ZampunierisC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/MounjiCZH95,
author = {Abdelaziz Mounji and
Baudouin Le Charlier and
D. Zampuni{\'{e}}ris and
Naji Habra},
editor = {James T. Ellis and
David M. Balenson and
Robert W. Shirey},
title = {Distributed audit trail analysis},
booktitle = {1995 Symposium on Network and Distributed System Security, {(S)NDSS}
'95, San Diego, California, USA, February 16-17, 1995},
pages = {102--113},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/NDSS.1995.390641},
doi = {10.1109/NDSS.1995.390641},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ndss/MounjiCZH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CharlierH94,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
title = {Experimental Evaluation of a Generic Abstract Interpretation Algorithm
for {PROLOG}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {1},
pages = {35--101},
year = {1994},
url = {https://doi.org/10.1145/174625.174627},
doi = {10.1145/174625.174627},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CharlierH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CharlierRH94,
author = {Baudouin Le Charlier and
Sabina Rossi and
Pascal Van Hentenryck},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {An Abstract Interpretation Framework for (almost) Full Prolog},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {92--106},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:38 +0100},
biburl = {https://dblp.org/rec/conf/agp/CharlierRH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HentenryckCC94,
author = {Pascal Van Hentenryck and
Agostino Cortesi and
Baudouin Le Charlier},
editor = {Vivek Sarkar and
Barbara G. Ryder and
Mary Lou Soffa},
title = {Type Analysis of Prolog Using Type Graphs},
booktitle = {Proceedings of the {ACM} SIGPLAN'94 Conference on Programming Language
Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24,
1994},
pages = {337--348},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/178243.178479},
doi = {10.1145/178243.178479},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HentenryckCC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CortesiCH94,
author = {Agostino Cortesi and
Baudouin Le Charlier and
Pascal Van Hentenryck},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Combinations of Abstract Domains for Logic Programming},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {227--239},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.177880},
doi = {10.1145/174675.177880},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CortesiCH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CharlierRH94,
author = {Baudouin Le Charlier and
Sabina Rossi and
Pascal Van Hentenryck},
editor = {Maurice Bruynooghe},
title = {An Abstract Interpretation Framework which Accurately Handles Prolog
Search-Rule and the Cut},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {157--171},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/CharlierRH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BraemCMH94,
author = {C. Braem and
Baudouin Le Charlier and
S. Modart and
Pascal Van Hentenryck},
editor = {Maurice Bruynooghe},
title = {Cardinality Analysis of Prolog},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {457--471},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BraemCMH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/lncs/Charlier94,
author = {Baudouin Le Charlier},
editor = {Andreas Podelski},
title = {Abstract Interpretation and Finite Domain Symbolic Constraints},
booktitle = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring
School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {910},
pages = {147--170},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59155-9\_9},
doi = {10.1007/3-540-59155-9\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/journals/lncs/Charlier94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/94,
editor = {Baudouin Le Charlier},
title = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4},
doi = {10.1007/3-540-58485-4},
isbn = {3-540-58485-4},
timestamp = {Mon, 12 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/EnglebertCRH93,
author = {Vincent Englebert and
Baudouin Le Charlier and
Didier Roland and
Pascal Van Hentenryck},
title = {Generic Abstract Interpretation Algorithms for Prolog: Two Optimization
Techniques and their Experimental Evaluation},
journal = {Softw. Pract. Exp.},
volume = {23},
number = {4},
pages = {419--459},
year = {1993},
url = {https://doi.org/10.1002/spe.4380230406},
doi = {10.1002/SPE.4380230406},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/EnglebertCRH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BoeckC93,
author = {Pierre De Boeck and
Baudouin Le Charlier},
editor = {Yves Deville},
title = {Mechanical Transformation of Logic Definitions Augmented with Type
Information into Prolog Procedures: Some Experiments},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
93, International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve, Belgium, 7-9 July 1993},
series = {Workshops in Computing},
pages = {229--245},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BoeckC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CharlierH93,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
editor = {David A. Schmidt},
title = {Groundness Analysis for {PROLOG:} Implementation and Evaluation of
the Domain \texttt{Prop}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
June 14-16, 1993},
pages = {99--110},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154630.154641},
doi = {10.1145/154630.154641},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/CharlierH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CorsiniMRC93,
author = {Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy and
Baudouin Le Charlier},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {Efficient Bottom-up Abstract Interpretation of Prolog by Means of
Constraint Solving over Symbolic Finite Domains},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {75--91},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_72},
doi = {10.1007/3-540-57186-8\_72},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CorsiniMRC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HentenryckDCM93,
author = {Pascal Van Hentenryck and
Olivier Degimbe and
Baudouin Le Charlier and
Laurent Michel},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {The Impact of Granularity in Abstract Interpretation of Prolog},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {1--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_25},
doi = {10.1007/3-540-57264-3\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/HentenryckDCM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CharlierDMH93,
author = {Baudouin Le Charlier and
Olivier Degimbe and
Laurent Michel and
Pascal Van Hentenryck},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Optimization Techniques for General Purpose Fixpoint Algorithms -
Practical Efficiency for the Abstract Interpretation of Prolog},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {15--26},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_26},
doi = {10.1007/3-540-57264-3\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CharlierDMH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1993,
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/HabraCMM92,
author = {Naji Habra and
Baudouin Le Charlier and
Abdelaziz Mounji and
Isabelle Mathieu},
editor = {Yves Deswarte and
G{\'{e}}rard Eizenberg and
Jean{-}Jacques Quisquater},
title = {{ASAX:} Software Architecture and Rule-Based Language for Universal
Audit Trail Analysis},
booktitle = {Computer Security - {ESORICS} 92, Second European Symposium on Research
in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {648},
pages = {435--450},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013912},
doi = {10.1007/BFB0013912},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/esorics/HabraCMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/CharlierH92,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
editor = {James R. Cordy and
Mario Barbacci},
title = {Experimental evaluation of a generic abstract interpretation algorithm
for Prolog},
booktitle = {ICCL'92, Proceedings of the 1992 International Conference on Computer
Languages, Oakland, California, USA, 20-23 Apr 1992},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCL.1992.185476},
doi = {10.1109/ICCL.1992.185476},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/CharlierH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CharlierH92,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
editor = {Krzysztof R. Apt},
title = {Reexecution in Abstract Interpretation of Prolog},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {750--764},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CharlierH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Charlier92,
author = {Baudouin Le Charlier},
editor = {Jean{-}Paul Delahaye and
Philippe Devienne and
Philippe Mathieu and
Pascal Yim},
title = {Une s{\'{e}}mantique op{\'{e}}rationelle instrumentale pour
Prolog et son application {\`{a}} la preuve de consistance d'un mod{\`{e}}le
d'interpr{\'{e}}tation abstraite},
booktitle = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
de Programmation Logique, 25-27 Mai 1992, Lille, France},
pages = {386},
year = {1992},
timestamp = {Fri, 25 Jun 2004 15:29:52 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Charlier92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/BoeckHC92,
author = {Pierre De Boeck and
Jean Henrard and
Baudouin Le Charlier},
editor = {Mireille Ducass{\'{e}} and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {{FOLON:} An Environment for Declarative Construction of Logic Programs},
booktitle = {Proceedings of the 4th Workshop on Logic Programming Environments
{(LPE} 1992), November 13th, 1992, In conjunction with {JICSLP} 1992,
Washington, DC, {USA.} Technical Report {TR} 92-143},
pages = {3--8},
publisher = {Case Western Reserver University, Cleveland},
year = {1992},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/BoeckHC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HenrardC92,
author = {Jean Henrard and
Baudouin Le Charlier},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {{FOLON:} An Environment for Declarative Construction of Logic Programs},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {217--231},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_138},
doi = {10.1007/3-540-55844-6\_138},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HenrardC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/EnglebertCRH92,
author = {Vincent Englebert and
Baudouin Le Charlier and
Didier Roland and
Pascal Van Hentenryck},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization
Techniques and Their Experimental Evaluation},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {310--325},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_144},
doi = {10.1007/3-540-55844-6\_144},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/EnglebertCRH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CharlierH92,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {On the Design of Generic Abstract Interpretation Frameworks},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {229--246},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/CharlierH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CharlierMH91,
author = {Baudouin Le Charlier and
Kaninda Musumbu and
Pascal Van Hentenryck},
editor = {Koichi Furukawa},
title = {A Generic Abstract Interpretation Algorithm and its Complexity Analysis},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {64--78},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CharlierMH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BoeckC91,
author = {Pierre De Boeck and
Baudouin Le Charlier},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Automatic Construction of Prolog Primitives for Type Checking Analysis},
booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
pages = {165--172},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/sas/BoeckC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BoeckC90,
author = {Pierre De Boeck and
Baudouin Le Charlier},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {Static Type Analysis of Prolog Procedures for Ensuring Correctness},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {222--237},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024187},
doi = {10.1007/BFB0024187},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BoeckC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HainautL74,
author = {Jean{-}Luc Hainaut and
Baudouin Le Charlier},
editor = {Jack L. Rosenfeld},
title = {An Extensible Semantic Model of Data Base and Its Data language},
booktitle = {Information Processing, Proceedings of the 6th {IFIP} Congress 1974,
Stockholm, Sweden, August 5-10, 1974},
pages = {1026--1030},
publisher = {North-Holland},
year = {1974},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HainautL74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:48 CEST 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:
