Rho calculus

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

Topic mentions per year

Topic mentions per year

1991-2012
051019912012

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
2009
2009
From our previous work on biochemical applications, the structure of port graph (or multigraph with ports) and a rewriting… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
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
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
Theoretical presentations of the ρ-calculus often treat the matching constraint computations as an atomic operation although… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
The Rewriting-calculus (Rho-calculus), is a minimal framework embedding Lambdacalculus and Term Rewriting Systems, by allowing… (More)
  • figure 10
Is this relevant?
2004
2004
We propose an imperative version of the Rewriting-calculus, a calculus based on pattern-matching, pattern-abstraction, and side… (More)
  • table 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2002
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
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and… (More)
  • figure 2
  • figure 3
Is this relevant?
2000
2000
The rewriting calculus is a rule construction and application framework. As such it embeds in a uniform way term rewriting and… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?