Pierre-Etienne Moreau
Pierre-Etienne Moreau
Professor Mines Nancy - Université de Lorraine
Geverifieerd e-mailadres voor loria.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3031998
Tom: Piggybacking rewriting on java
E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
International Conference on Rewriting Techniques and Applications, 36-47, 2007
2302007
ELAN: A logical framework based on computational systems
P Borovanský, C Kirchner, H Kirchner, PE Moreau, M Vittek
Electronic Notes in Theoretical Computer Science 4, 35-50, 1996
1721996
ELAN from a rewriting logic point of view
P Borovanský, C Kirchner, H Kirchner, PE Moreau
Theoretical Computer Science 285 (2), 155-185, 2002
1692002
A Pattern Matching Compiler for Multiple Target Languages
PE Moreau, C Ringeissen, M Vittek
Compiler construction 2622, 61-76, 2003
159*2003
Excess risk of urinary tract cancers in patients receiving thiopurines for inflammatory bowel disease: a prospective observational cohort study
A Bourrier, F Carrat, JF Colombel, AM Bouvier, V Abitbol, P Marteau, ...
Alimentary pharmacology & therapeutics 43 (2), 252-261, 2016
952016
Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
H Kirchner, PE Moreau
Journal of Functional Programming 11 (2), 207-251, 2001
792001
ELAN user manual
P Borovansky, C Kirchner, PEM H'elene Kirchner, M Vittek, MM Vittek
551997
High risk of anal and rectal cancer in patients with anal and/or perianal Crohn’s disease
L Beaugerie, F Carrat, S Nahon, JD Zeitoun, JM Sabaté, L Peyrin-Biroulet, ...
Clinical Gastroenterology and Hepatology 16 (6), 892-899. e2, 2018
512018
Generator of efficient strongly typed abstract syntax trees in Java
M Van den Brand, PE Moreau, J Vinju
IEE Proceedings-Software 152 (2), 70-78, 2005
512005
A compiler for rewrite programs in associative-commutative theories
PE Moreau, H Kirchner
Principles of Declarative Programming, 230-249, 1998
441998
Prototyping completion with constraints using computational systems
H Kirchner, PE Moreau
International Conference on Rewriting Techniques and Applications, 438-443, 1995
431995
Anti-pattern matching
C Kirchner, R Kopetz, PE Moreau
European Symposium on Programming, 110-124, 2007
392007
Formal validation of pattern matching code
C Kirchner, PE Moreau, A Reilles
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
382005
Formal islands
E Balland, C Kirchner, PE Moreau
International Conference on Algebraic Methodology and Software Technology, 51-65, 2006
272006
The effects of aminosalicylates or thiopurines on the risk of colorectal cancer in inflammatory bowel disease
F Carrat, P Seksik, JF Colombel, L Peyrin‐Biroulet, L Beaugerie, ...
Alimentary pharmacology & therapeutics 45 (4), 533-541, 2017
252017
Tom Manual
E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
LORIA, Nancy (France), version 2, 2006
23*2006
A Choice-Point Library for Backtrack Programming.
PE Moreau
Implementation Technology for Programming Languages based on Logic, 16-31, 1998
231998
Non-deterministic computations in ELAN
H Kirchner, PE Moreau
Recent Trends in Algebraic Development Techniques, 168-183, 1999
191999
Implementing deep inference in TOM
O Kahramanogullari, PE Moreau, A Reilles
ICALP Workshop on Structures and Deduction, 158--172, 2005
18*2005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20