Go backward to 2 ELAN Programs
Go up to Top
Go forward to 4 ATerm-instances for CASL and ELAN

3 Mapping from CASL to ELAN

Our motivation is to use rewriting as operational semantics of equational programs written in a CASL syntax. We specify in this section the class of CASL specifications we are able to consider, the class of ELAN specifications we obtain. Then the translation is defined thanks to a mapping between these two classes.

  • 3.1 CASL Equational Specifications
  • 3.2 ELAN Equational Specifications
  • 3.3 Translation from CASL to ELAN
    • CoFI Note: T-9 -- Version: 1 -- November 10, 2000.
    Comments to FirstName.LastName@loria.fr

    Go backward to 2 ELAN Programs
    Go up to Top
    Go forward to 4 ATerm-instances for CASL and ELAN