Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Matching Power

Horatiu CirsteaContact Information, Claude KirchnerContact Information and Luigi LiquoriContact Information

(5)  LORIA INRIA INPL ENSMN, 54506 Vandoeuvre-lès-Nancy BP 239 Cedex, France
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.

Contact Information Horatiu Cirstea
Email: Horatiu.Cirstea@loria.fr

Contact Information Claude Kirchner
Email: Claude.Kirchner@loria.fr

Contact Information Luigi Liquori
Email: Luigi.Liquori@loria.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.114 • Server: mpweb24
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)