Advertisement

Functions and relations: The graal system

  • Patrick Bellot
  • Remi Legrand
Systems Demonstrations
  • 118 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 294)

Keywords

Functional Form Operational Semantic Reduction Rule Functional Programming Combinatory Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Bibliography

  1. [Bellot86]
    P. Bellot, Sur les Sentiers du Graal, Etude, Conception et Réalisation d'un Langage de Programmation sans Variable,, Thése d'Etat, Rapport LITP 86-62, 1986.Google Scholar
  2. [Bellot87]
    P. Bellot, V. Jay, A Theory for Natural Modelisation and Implementation of Functions with Variable Arity,, FPLCA'87, dans LNCS 274, pp. 212–233, G. Kahn ed., Portland (Oregon), 1987.Google Scholar
  3. [Legrand87]
    R. Legrand, Calcul Relationnel et Programmation Logique,, Thèse d'université, Université Pierre et Marie (Paris 6) Curie, to appear, 1987.Google Scholar
  4. [Legrand88]
    R. Legrand, Extending Functional Programming Towards Relations,, ESOP88, to appear in LNCS, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Patrick Bellot
    • 1
  • Remi Legrand
    • 2
  1. 1.Compagnie IBM-France, Centre ScientifiqueParisFrance
  2. 2.LITPUniversité Pierre et Marie Curie (Paris 6)Paris Cedex 05France

Personalised recommendations