BibTeX records: Eddy Bevers

• > Home > Persons > Eddy Bevers

@inproceedings{DBLP:conf/pepm/DussartBV95,
  author       = {Dirk Dussart and
                  Eddy Bevers and
                  Karel De Vlaminck},
  editor       = {Neil D. Jones},
  title        = {Polyvariant Constructor Specialisation},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
                  and Semantics-Based Program Manipulation, La Jolla, California, USA,
                  June 21-23, 1995},
  pages        = {54--65},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/215465.215554},
  doi          = {10.1145/215465.215554},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/DussartBV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BeversL93,
  author       = {Eddy Bevers and
                  Johan Lewi},
  title        = {Proving Termination of (Conditional) Rewrite Systems. {A} Semantic
                  Approach},
  journal      = {Acta Informatica},
  volume       = {30},
  number       = {6},
  pages        = {537--568},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01209624},
  doi          = {10.1007/BF01209624},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BeversL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/NielBV91,
  author       = {Anne De Niel and
                  Eddy Bevers and
                  Karel De Vlaminck},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Program Bifurcation for a Polymorphic Typed Functional Language},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {142--153},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115880},
  doi          = {10.1145/115865.115880},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/NielBV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NielBV91,
  author       = {Anne De Niel and
                  Eddi Bevers and
                  Karel De Vlaminck},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Partial Evaluation of Polymorphically Typed Functional Languages:
                  the Representation Problem},
  booktitle    = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {90--97},
  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/NielBV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ctrs/BeversL90,
  author       = {Eddy Bevers and
                  Johan Lewi},
  editor       = {St{\'{e}}phane Kaplan and
                  Mitsuhiro Okada},
  title        = {Proof by Consistency in Conditional Equational Theories},
  booktitle    = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
                  Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {516},
  pages        = {194--205},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54317-1\_91},
  doi          = {10.1007/3-540-54317-1\_91},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/BeversL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/spe/HorebeekLBDP88,
  author       = {Ivo Van Horebeek and
                  Johan Lewi and
                  Eddi Bevers and
                  Luc Duponcheel and
                  Willy Van Puymbroeck},
  title        = {An Exception Handling Method for Constructive Algebraic Specifications},
  journal      = {Softw. Pract. Exp.},
  volume       = {18},
  number       = {5},
  pages        = {443--458},
  year         = {1988},
  url          = {https://doi.org/10.1002/spe.4380180505},
  doi          = {10.1002/SPE.4380180505},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/HorebeekLBDP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}