No photo of Philippe Meunier

View Scopus Profile

Philippe Meunier

Calculated based on number of publications stored in Pure and citations from Scopus
20042006

Research activity per year

  • 3 Article
  • 1 Conference contribution
  • 1 Paper
Filter
Article

Search results

  • 2006

    Modular set-based analysis from contracts

    Meunier, P., Findler, R. B. & Felleisen, M., 2006, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 41, 1, p. 218-231 14 p.

    Research output: Contribution to journal › Article › peer-review

    8 Scopus citations
  • 2005

    Selectors make set-based analysis too hard

    Meunier, P., Findler, R. B., Steckler, P. & Wand, M., Dec 2005, In: Higher-Order and Symbolic Computation. 18, 3-4, p. 245-269 25 p.

    Research output: Contribution to journal › Article › peer-review

    4 Scopus citations
  • 2004

    Improving the static analysis of embedded languages via partial evaluation

    Herman, D. & Meunier, P., Sep 2004, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 39, 9, p. 16-27 12 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations