Advertisement

Pagode: A back end generator

  • P. Canalda
  • L. Cognard
  • A. Despland
  • M. Mazaud
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 714)

References

  1. 1.
    A.Despland M.Mazaud R.Rakotozafy. Using rewriting techniques to produce code generators and proving them correct. Science of Computer Programming, 15(1): 15–54, December 1990.Google Scholar
  2. 2.
    P.Canalda L.Cognard A.Despland and M.Mazaud. The pagode system user's guide and reference manual. RT 152, INRIA, Rocquencourt, July 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • P. Canalda
    • 1
    • 2
  • L. Cognard
    • 1
    • 2
  • A. Despland
    • 1
    • 2
  • M. Mazaud
    • 1
    • 2
  1. 1.INRIA Domaine de VoluceauLe Chesnay CedexFrance
  2. 2.LIFO Universite d'OrleansOrleans Cedex 2France

Personalised recommendations