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

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

  • Modular set-based analysis from contracts

    Meunier, P., Findler, R. B. & Felleisen, M., 2006, Conference Record of POPL 2006: 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 218-231 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    19 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

  • Improving the static analysis of embedded languages via partial evaluation

    Herman, D. & Meunier, P., 2004, p. 16-27. 12 p.

    Research output: Contribution to conference › Paper › peer-review

    5 Scopus citations