Skip to main content
SpringerLink
Log in

Pagode: A back end generator

  • Conference paper
  • First Online:
Progamming Language Implementation and Logic Programming (PLILP 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 714))

  • 120 Accesses

This work was partly carried out within the Esprit Project #5399 (COMPARE)

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  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. 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 

Download references

Author information

Authors and Affiliations

  1. INRIA Domaine de Voluceau, BP 105, 78153, Le Chesnay Cedex, France

    P. Canalda, L. Cognard, A. Despland & M. Mazaud

  2. LIFO Universite d'Orleans, BP 6759, 45067, Orleans Cedex 2, France

    P. Canalda, L. Cognard, A. Despland & M. Mazaud

Authors
  1. P. Canalda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Cognard
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Despland
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Mazaud
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Bruynooghe Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Canalda, P., Cognard, L., Despland, A., Mazaud, M. (1993). Pagode: A back end generator. In: Bruynooghe, M., Penjam, J. (eds) Progamming Language Implementation and Logic Programming. PLILP 1993. Lecture Notes in Computer Science, vol 714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57186-8_94

Download citation

  • DOI: https://doi.org/10.1007/3-540-57186-8_94

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57186-5

  • Online ISBN: 978-3-540-47945-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation