Advertisement

Resolution of goals with the functional and logic programming language LPG: Impact of abstract interpretation

  • Didier Bert
  • Rachid Echahed
  • Kamel Adi
Conference System Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1101)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    D. Bert and R. Echahed. Design and implementation of a generic, logic and functional programming language. In Proc. of ESOP-86, LNCS 213, pp 119–132. Springer-Verlag, 1986.Google Scholar
  2. 2.
    D. Bert, R. Echahed, and B. M. Østvold. Abstract rewriting. In Proceedings of the 3rd International Workshop on Static Analysis, WSA '93, number 724 in Lecture Notes in Computer Science, pp 178–192. Springer-Verlag, 1993.Google Scholar
  3. 3.
    D. Bert, R. Echahed, and J.-C. Reynaud. Reference manual of the LPG specification language and environment. ftp://ftp.imag.fr/pub/SCOP/LPG, 1994.Google Scholar
  4. 4.
    D. Bert and R. Echahed. Abstraction of conditional term rewriting systems. In J. Lloyd, editor, Proc. of the International Symposium on Logic Programming, ILPS-95, pp 162–176, Portland, Oregon, 1995. MIT Press.Google Scholar
  5. 5.
    D. Bert and R. Echahed. On the operational semantics of the algebraic and logic language LPG. In Recent Trends in Data Types Specification, LNCS 906, pp 132–152. Springer-Verlag, 1995.Google Scholar
  6. 6.
    R. Echahed. Sur l'intégration des langages algébriques et logiques. PhD thesis, INPG, Grenoble, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Didier Bert
    • 1
  • Rachid Echahed
    • 1
  • Kamel Adi
    • 1
  1. 1.IMAG-LSRCNRSGrenoble cedex 9France

Personalised recommendations