3532 articles – 5253 references  [version française]

inria-00107876, version 1

Matching Power

Horatiu Cirstea () a, 1, Claude Kirchner b, 1, Luigi Liquori b, 2

12th International Conference on Rewriting Techniques and Applications - RTA'2001 (2001) 18 p

  • a –  INPL
  • b –  INRIA
  • 1:  PROTHEO (INRIA Lorraine - LORIA)

  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France
  • 2:  MIRHO (INRIA SOPHIA ANTIPOLIS / INRIA LORRAINE - LORIA)

  • CNRS : UMR7503 – INRIA – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France

Bibliographic reference

  • Type of document: Peer-reviewed conferences/proceedings
  • Domain: Computer Science/Other
  • Title: Matching Power
  • Abstract: In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho-Calculus. In addition to its simplicity, this formulation explicitly allows us to encode complex structures such as lists, sets, and objects. We provide extensive examples of the calculus, and we focus on its ability to represent some object oriented calculi, namely the Lambda Calculus of Objects of Fisher, Honsell, and Mitchell, and the Object Calculus of Abadi and Cardelli. Furthermore, the calculus allows us to get object oriented constructions unreachable in other calculi. In summa, we intend to show that because of its matching ability, the Rho-Calculus represents a lingua franca to naturally encode many paradigms of computations. This enlightens the capabilities of the rewriting calculus based language ELAN to be used as a logical as well as powerful semantical framework.
  • Full text language: English
  • Publication date: 2001-05
  • Audience: international
  • Conference title: 12th International Conference on Rewriting Techniques and Applications - RTA'2001
  • Conference city: Utrecht, The Netherlands
  • Conference date: 2001-05
  • Commercial editor: none
  • Pagination: 18 p
  • Keywords: matching – rewriting calculus – object oriented calculi || filtrage – calcul de réécriture – calculs orientés objet
  • Comment: Colloque avec actes et comité de lecture. internationale.
  • Internal note: A01-R-201 || cirstea01b
 
  • inria-00107876, version 1
  • http://hal.inria.fr/inria-00107876
  • oai:hal.inria.fr:inria-00107876
  • From: Publications Loria <>
  • Submitted on: Thursday, 19 October 2006 09:12:44
  • Updated on: Friday, 20 October 2006 15:32:31