The CLOVER Rewrite Rules: A Translation from OOFP to FP

  title={The CLOVER Rewrite Rules: A Translation from OOFP to FP},
  author={Lee Braine and Christopher D. Clack},
There have been many attempts to integrate object-oriented and functional programming. Solving the connicting requirements is dif-cult and only recently has a language, CLOVER, been designed that is both purely functional and purely object-oriented (and retains complete type safety). In this paper, we introduce the CLOVER rewrite rules by presenting a translation from CLOVER to a simple functional language. The object-oriented features are translated away in stages; the resulting translations… CONTINUE READING

Topics from this paper.


Publications citing this paper.


Publications referenced by this paper.

An Object - Oriented Functional Approach toInformation Systems Engineering

C. Clack.
  • Proceedings of the CAiSE ' 97 4 thDoctoral Consortium on Advanced Information Systems Engineering , June
  • 1997

Simple Objects for Standard ML

ML J.Vouillon.Objective
  • Proceed - ings of the ACM SIGPLAN ' 96 Conference on Programming LanguageDesign and Implementation ( PLDI ) , SIGPLAN Notices
  • 1996

A lambda calculus of objects and method specialization

  • [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
  • 1993

Label - Selective Calculus , Syntax andCon uence

H. Ait-Kaci
  • Proceedings of the 13 th International Conf . on Foundations of Software Technology and Theoretical Computer Science , LectureNotes in Computer Science
  • 1993

Podelski . Towards a Meaning of LIFE

H. Ait-Kaci, A.
  • Journal ofLogic Programming
  • 1993