The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Pierre-Etienne Moreau: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
    Formal Islands. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:51-65 [Conf]
  2. Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
    A Pattern Matching Compiler for Multiple Target Languages. [Citation Graph (0, 0)][DBLP]
    CC, 2003, pp:61-76 [Conf]
  3. Pierre-Etienne Moreau
    A Choice-Point Library for Backtrack Programming. [Citation Graph (0, 0)][DBLP]
    Implementation Technology for Programming Languages based on Logic, 1998, pp:16-31 [Conf]
  4. Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
    A collection of C, C++ and Java code understanding and refactoring plugins. [Citation Graph (0, 0)][DBLP]
    ICSM (Industrial and Tool Volume), 2005, pp:61-64 [Conf]
  5. Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
    A Simple Generic Library for C. [Citation Graph (0, 0)][DBLP]
    ICSR, 2006, pp:423-426 [Conf]
  6. Pierre-Etienne Moreau, Hélène Kirchner
    A Compiler for Rewrite Programs in Associative-Commutative Theories. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:230-249 [Conf]
  7. Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
    Formal validation of pattern matching code. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:187-197 [Conf]
  8. Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju
    Environments for Term Rewriting Engines for Free! [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:424-435 [Conf]
  9. Hélène Kirchner, Pierre-Etienne Moreau
    Prototyping Completion with Constraints Using Computational Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:438-443 [Conf]
  10. Pierre-Etienne Moreau
    REM (Reduce Elan Machine): Core of the New ELAN Compiler. [Citation Graph (0, 0)][DBLP]
    RTA, 2000, pp:265-269 [Conf]
  11. Hélène Kirchner, Pierre-Etienne Moreau
    Non-deterministic Computations in ELAN. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:168-182 [Conf]
  12. Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
    Handling ELAN rewrite programs via an exchange format. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  13. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
    An overview of ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  14. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
    ELAN: A logical framework based on computational systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  15. Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
    The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:3, pp:- [Journal]
  16. Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
    Rule-based Programming in Java For Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:209-227 [Journal]
  17. Jean-Louis Giavitto, Pierre-Etienne Moreau
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  18. Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles
    An Integrated Development Environment for Pattern Matching Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:107, n:, pp:33-49 [Journal]
  19. Hélène Kirchner, Pierre-Etienne Moreau
    A reflective extension of ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  20. Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
    Pattern-Matching Compiler. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:2, pp:- [Journal]
  21. Hélène Kirchner, Pierre-Etienne Moreau
    Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:2, pp:207-251 [Journal]
  22. Pierre-Etienne Moreau, Olivier Zendra
    GC2: a generational conservative garbage collector for the ATImage library. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:59, n:1-2, pp:5-34 [Journal]
  23. Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:343-344 [Journal]
  24. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
    ELAN from a rewriting logic point of view. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:155-185 [Journal]
  25. Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
    Anti-pattern Matching. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:110-124 [Conf]
  26. Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
    Tom: Piggybacking Rewriting on Java. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:36-47 [Conf]
  27. Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
    Bytecode Rewriting in Tom. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:19-33 [Journal]

  28. Towards an Efficient Implementation of Tree Automata Completion. [Citation Graph (, )][DBLP]


  29. Formal Validation of Pattern Matching code. [Citation Graph (, )][DBLP]


  30. Software Quality Improvement Via Pattern Matching. [Citation Graph (, )][DBLP]


  31. Term-Graph Rewriting Via Explicit Paths. [Citation Graph (, )][DBLP]


  32. TomML: A Rule Language for Structured Data. [Citation Graph (, )][DBLP]


  33. A C++ Refactoring Browser and Method Extraction. [Citation Graph (, )][DBLP]


  34. Anti-pattern Matching Modulo. [Citation Graph (, )][DBLP]


  35. A Type System for Tom [Citation Graph (, )][DBLP]


  36. Rules and Strategies in Java. [Citation Graph (, )][DBLP]


  37. Rewriting Strategies in Java. [Citation Graph (, )][DBLP]


  38. The Second Rewrite Engines Competition. [Citation Graph (, )][DBLP]


  39. Rewrite Based Specification of Access Control Policies. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002