The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting.

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- Oana Andrei, Hélène Kirchner
- Graph Theory, Computational Intelligence and…
- 2009

In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We… (More)

Is this relevant?

2009

2009

- Oana Andrei, Hélène Kirchner
- Electr. Notes Theor. Comput. Sci.
- 2009

From our previous work on biochemical applications, the structure of port graph (or multigraph with ports) and a rewriting… (More)

Is this relevant?

2007

2007

- Horatiu Cirstea, Clément Houtmann, Benjamin Wack
- Electr. Notes Theor. Comput. Sci.
- 2007

The rewriting calculus has been introduced as a general formalism that uniformly integrates rewriting and λ-calculus. In this… (More)

Is this relevant?

2007

2007

- Clara Bertolissi, Claude Kirchner
- FoSSaCS
- 2007

The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly… (More)

Is this relevant?

2005

2005

- Horatiu Cirstea, Germain Faure, Claude Kirchner
- Electr. Notes Theor. Comput. Sci.
- 2005

Theoretical presentations of the ρ-calculus often treat the matching constraint computations as an atomic operation although… (More)

Is this relevant?

2005

2005

- Luigi Liquori, Benjamin Wack
- Electr. Notes Theor. Comput. Sci.
- 2005

The Rewriting-calculus (Rho-calculus), is a minimal framework embedding Lambdacalculus and Term Rewriting Systems, by allowing… (More)

Is this relevant?

2004

2004

- Luigi Liquori, Bernard P. Serpette
- PPDP
- 2004

We propose an imperative version of the Rewriting-calculus, a calculus based on pattern-matching, pattern-abstraction, and side… (More)

Is this relevant?

2002

2002

- Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- Electr. Notes Theor. Comput. Sci.
- 2002

The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of… (More)

Is this relevant?

2001

2001

- Horatiu Cirstea, Claude Kirchner, Luigi Liquori
- FoSSaCS
- 2001

The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and… (More)

Is this relevant?

2000

2000

- Horatiu Cirstea, Claude Kirchner
- Electr. Notes Theor. Comput. Sci.
- 2000

The rewriting calculus is a rule construction and application framework. As such it embeds in a uniform way term rewriting and… (More)

Is this relevant?