Matching Power

Matching Power (2001)

Cached

Download Links

[www.loria.fr]
[rho.loria.fr]

Other Repositories/Bibliography

DBLP

by Horatiu Cirstea , Claude Kirchner , Luigi Liquori

Venue:	Proceedings of RTA’2001, Lecture Notes in Computer Science, Utrecht (The Netherlands
Citations:	28 - 17 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Matching Power	SVM HeaderParse 0.2
AUTHOR NAME	Horatiu Cirstea	SVM HeaderParse 0.2
AUTHOR AFFIL	LORIA INRIA INPL ENSMN	SVM HeaderParse 0.2
AUTHOR ADDR	54506 Vandoeuvre-lès-Nancy BP 239 Cedex France	SVM HeaderParse 0.2
AUTHOR NAME	Claude Kirchner	SVM HeaderParse 0.2
AUTHOR AFFIL	LORIA INRIA INPL ENSMN	SVM HeaderParse 0.2
AUTHOR ADDR	54506 Vandoeuvre-lès-Nancy BP 239 Cedex France	SVM HeaderParse 0.2
AUTHOR NAME	Luigi Liquori	SVM HeaderParse 0.2
AUTHOR AFFIL	LORIA INRIA INPL ENSMN	SVM HeaderParse 0.2
AUTHOR ADDR	54506 Vandoeuvre-lès-Nancy BP 239 Cedex France	SVM HeaderParse 0.2
ABSTRACT	www.loria.fr/{~cirstea,~ckirchne,~lliquori} 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. 1	SVM HeaderParse 0.2
YEAR	2001	INFERENCE
VENUE	Proceedings of RTA’2001, Lecture Notes in Computer Science, Utrecht (The Netherlands	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	37 found	ParsCit 1.0