Advertisement

LPG: A generic, logic and functional programming language

  • D. Bert
  • P. Drabik
  • R. Echahed
  • O. Declerfayt
  • B. Demeuse
  • P -Y. Schobbens
  • F. Wautier
Systems Exhibition
Part of the Lecture Notes in Computer Science book series (LNCS, volume 300)

References

  1. [1]
    D. Bert, R. Echahed, Design and Implementation of a Generic, Logic and Functional Programming Language, Proc. of the European Symposium on Programming (ESOP'86), LNCS 213, Springer, 1986, pp. 119–132Google Scholar
  2. [2]
    R. Echahed, Prédicats et sous-types en LPG. Réalisation de la E-unification, RR-IMAG-550-LIFIA-29, July 1985.Google Scholar
  3. [3]
    J.A. Goguen, J. Meseguer, Introducing institutions, Proc. Logic for Programs, LNCS 164, Springer, 1984, pp. 115–125Google Scholar
  4. [4]
    J.A. Goguen, J. Meseguer, Equality, Types, Modules and (Why not?) Generics for Logic Programming, Proc. Int. Conf. on Logic Programming, Uppsala, 1984, pp. 115–125 (also in J. Logic Programming, Vol.1 n.2, 1984, pp.179–210)Google Scholar
  5. [5]
    E. Paul, Manuel OASIS, Note technique NT/PAA/CLC/LSC/959, CNET, 1985Google Scholar
  6. [6]
    T. Teitelbaum, Th. Reps, Synthesizer Generator (2nd edition), Departement of Computer Science, Cornell University, Ithaca, 1987Google Scholar
  7. [7]
    D.E. Knuth, P.B. Bendix, Simple word problem in universal algebra, in Computable problems in abstract algebra, J. Leech (ed.), Pergamon Press, 1970, pp. 263–297.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • D. Bert
    • 1
  • P. Drabik
    • 1
  • R. Echahed
    • 1
  • O. Declerfayt
    • 2
  • B. Demeuse
    • 2
  • P -Y. Schobbens
    • 2
  • F. Wautier
    • 2
  1. 1.Av. Félix Viallet, 46GrenobleFrance
  2. 2.Unité d'InformatiqueUniversité Catholique de LouvainLouvain-La-NeuveBelgique

Personalised recommendations