Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Functions and relations: The graal system

  • Systems Demonstrations
  • Conference paper
  • First Online:
STACS 88 (STACS 1988)

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

Included in the following conference series:

  • 147 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

Bibliography

  1. 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. 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. R. Legrand, Calcul Relationnel et Programmation Logique,, Thèse d'université, Université Pierre et Marie (Paris 6) Curie, to appear, 1987.

    Google Scholar 

  4. R. Legrand, Extending Functional Programming Towards Relations,, ESOP88, to appear in LNCS, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Compagnie IBM-France, Centre Scientifique, 36 avenue Raymond Poincaré, 75116, Paris, France

    Patrick Bellot

  2. LITP, Université Pierre et Marie Curie (Paris 6), 2 place Jussieu, 75221, Paris Cedex 05, France

    Remi Legrand

Authors
  1. Patrick Bellot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Remi Legrand
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert Cori Martin Wirsing

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bellot, P., Legrand, R. (1988). Functions and relations: The graal system. In: Cori, R., Wirsing, M. (eds) STACS 88. STACS 1988. Lecture Notes in Computer Science, vol 294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035861

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18834-6

  • Online ISBN: 978-3-540-48190-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation