E-LIB Suche - Ergebnisse für: Moreau, Pierre-Etienne

1

Generic Encodings and Static Analysis of Constructor Rewrit..:

, In: 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Cirstea, Horatiu ; Lermusiaux, Pierre ; Moreau, Pierre-Etienne - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

2

Pattern Eliminating Transformations:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Cirstea, Horatiu ; Lermusiaux, Pierre ; Moreau, Pierre-Etienne - p. 74-92 , 2021

Link: https://doi.org/10.1007/..

3

Static analysis of pattern-free properties:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,

Cirstea, Horatiu ; Lermusiaux, Pierre ; Moreau, Pierre-Etienne - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

4

A Mission Definition, Verification and Validation Architect..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Viard, Louis ; Ciarletta, Laurent ; Moreau, Pierre-Etienne - p. 281-287 , 2020

Link: https://doi.org/10.1007/..

5

Generic Encodings of Constructor Rewriting Systems:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,

Cirstea, Horatiu ; Moreau, Pierre-Etienne - p. 1-12 , 2019

Link: https://dl.acm.org/doi/1..

6

Model transformations with Tom:

, In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications,

Bach, Jean-Christophe ; Crégut, Xavier ; Moreau, Pierre-Etienne. - p. 1-9 , 2012

Link: https://dl.acm.org/doi/1..

7

Anti-patterns for rule-based languages:

Cirstea, Horatiu ; Kirchner, Claude ; Kopetz, Radu.
Journal of Symbolic Computation. 45 (2010) 5 - p. 523-550 , 2010

Link: https://doi.org/10.1016/..

8

Proceedings of the Tenth Workshop on Language Descriptions,..:

Brabrand, Claus ; Moreau, Pierre-Etienne , 2010

Link: https://dl.acm.org/doi/1..

9

Rewrite Based Specification of Access Control Policies:

Cirstea, Horatiu ; Moreau, Pierre-Etienne ; de Oliveira, Anderson Santana
Electronic Notes in Theoretical Computer Science. 234 (2009) - p. 37-54 , 2009

Link: https://doi.org/10.1016/..

10

The Second Rewrite Engines Competition:

Durán, Francisco ; Roldán, Manuel ; Balland, Emilie...
Electronic Notes in Theoretical Computer Science. 238 (2009) 3 - p. 281-291 , 2009

Link: https://doi.org/10.1016/..

11

Rewriting Strategies in Java:

Balland, Emilie ; Moreau, Pierre-Etienne ; Reilles, Antoine
Electronic Notes in Theoretical Computer Science. 219 (2008) - p. 97-111 , 2008

Link: https://doi.org/10.1016/..

12

Rules and Strategies in Java:

Moreau, Pierre-Etienne ; Reilles, Antoine
Electronic Notes in Theoretical Computer Science. 204 (2008) - p. 71-82 , 2008

Link: https://doi.org/10.1016/..

13

Bytecode Rewriting in Tom:

Balland, Emilie ; Moreau, Pierre-Etienne ; Reilles, Antoine
Electronic Notes in Theoretical Computer Science. 190 (2007) 1 - p. 19-33 , 2007

Link: https://doi.org/10.1016/..

14

Rule-based Programming in Java For Protocol Verification:

Cirstea, Horatiu ; Moreau, Pierre-Etienne ; Reilles, Antoine
Electronic Notes in Theoretical Computer Science. 117 (2005) - p. 209-227 , 2005

Link: https://doi.org/10.1016/..

15

Formal validation of pattern matching code:

, In: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming,

Kirchner, Claude ; Moreau, Pierre-Etienne ; Reilles, Antoine - p. 187-197 , 2005

Link: https://dl.acm.org/doi/1..