Skip to main content
SpringerLink
Log in

LPG: A generic, logic and functional programming language

  • Systems Demonstrations
  • Conference paper
  • First Online:
Book cover STACS 87 (STACS 1987)

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

Included in the following conference series:

  • 124 Accesses

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. D.Bert, R.Echahed, Design and Implementation of a generic, logic and functional Programming Language, Proc. of the European Symposium on Programming, Saarbrücken, LNCS 213, pp. 119–132.

    Google Scholar 

  2. R.Echahed, Prédicats et sous-types en LPG. Réalisation de la E-unification, RR IMAG-550-LIFIA-29, Juillet 85.

    Google Scholar 

  3. J.A.Goguen, R.M.Burstall, Introducing Institutions, Proceedings Logics and Programming Workshop, pp. 221–256, 1984.

    Google Scholar 

  4. J.A.Goguen, J.Meseguer, Equality, Types, Modules and Generics for Logic Programming, Proc. of International Conference on Logic Programming, Uppsala 1984.

    Google Scholar 

  5. E.Paul, Manuel OASIS, Note technique NT/PAA/CLC/LSC/959, CNET, Fév. 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIFIA, BP 68, 38402, Saint Martin d'Hères Cedex, France

    D. Bert, P. Drabik & R. Echahed

Authors
  1. D. Bert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Drabik
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Echahed
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz J. Brandenburg Guy Vidal-Naquet Martin Wirsing

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bert, D., Drabik, P., Echahed, R. (1987). LPG: A generic, logic and functional programming language. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039628

Download citation

  • DOI: https://doi.org/10.1007/BFb0039628

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17219-2

  • Online ISBN: 978-3-540-47419-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation