Term rewriting as a basis for the design of a functional and parallel programming language

A case study : the language FP2
Part Three Knowledge Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 232)


Systolic Array Normal Rule Functional Term Exception Handler Process Definition 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. ARKAXHIU, E. "Un environnement et un langage graphique pour la spécification de processus parallèles communicants." Thèse, LIFIA, Grenoble, 1984.Google Scholar
  2. AUSTRY, D. "Aspects syntaxiques de MEIJE, un calcul pour le parallélisme. Applications." Thèse, LITP, Paris, 1984.Google Scholar
  3. AUSTRY, D. and BOUDOL, G. "Algèbre de processus et synchronisation." Theoretical Computer Science, 1984.Google Scholar
  4. BACKUS, J. W. "Can Programming Be Liberated From The Von Neumann Style? A functional style and its algebra of programs." Communications of the ACM. Vol. 21, no. 8, 1978.Google Scholar
  5. BACKUS, J. W. "The algebra of functional programs: function level reasoning, linear equations and extended definitions." Lecture Notes in Computer Science no. 107, 1981.Google Scholar
  6. BACKUS, J. W. "Function Level Programs as Mathematical Objects." Conference on Functional Programming Languages & Computer Architecture, ACM, 1981.Google Scholar
  7. BERT, D. "Spécification algébrique et axiomatique des exceptions." RR IMAG 183, LIFIA, Grenoble, 1980.Google Scholar
  8. BERT, D. "Refinements of Generic Specifications with Algebraic Tools." IFIP Congress, North Holland, 1983.Google Scholar
  9. BERT, D. "Generic Programming: a tool for designing universal operators." RR IMAG 336, LIFIA, Grenoble, 1982.Google Scholar
  10. BERT, D. "Manuel de référence de LPG, Version 1.2." RR IMAG 408, LIFIA, Grenoble, 1983.Google Scholar
  11. BERT, D. and BENSALEM, S. "Algèbre des opérateurs génériques et transformation de programmes en LPG." RR IMAG 488 (LIFIA 14), Grenoble, 1984.Google Scholar
  12. BERT, D. and JACQUET, P. "Some validation problems with parameterized types and generic functions." 3rd International Symposium on Programming, Dunod, Paris, 1978.Google Scholar
  13. BIDOIT, M. "Une méthode de présentation des types abstraits: applications." Thèse, LRI, Orsay, 1981.Google Scholar
  14. BJØRNER, D. and JONES, C. B. "The Vienna Development Method: The Meta-Language." Lecture Notes in Computer Science no. 61, 1978.Google Scholar
  15. BJØRNER, D. and JONES, C. B. "Formal specification & software development." Prentice Hall International, Englewood Cliffs, New Jersey 1982.Google Scholar
  16. BOUDOL, G. "Computational semantics of terms rewriting systems." RR 192, INRIA, 1983.Google Scholar
  17. BROOKES, S. D. "A model for communicating sequential processes." Thesis, Carnegie-Mellon University, 1983.Google Scholar
  18. BURSTALL, R. M., MACQUEEN, D.B. and SANNELLA, D.T. "HOPE: an experimental applicative language." CSR-62-80, University of Edinburgh, 1981.Google Scholar
  19. CISNEROS, M. "Programmation parallèle et programmation fonctionnelle: propositions pour un language." Thèse, LIFIA, Grenoble, 1984.Google Scholar
  20. DERSHOWITZ, N. "Computing with rewrite systems." ATR-83 (8478)-1, Aerospace Corporation, 1983.Google Scholar
  21. GOGUEN, J. A., THATCHER, J. W. and WAGNER, E. G. "An initial algebra approach to the specification, correctness, and implementation of abstract data types." Current Trends in Programming Methodology, Vol. 4, Prentice Hall, Englewood Cliffs, New Jersey, 1978.Google Scholar
  22. GUERREIRO, P. J. V. D. "Sémantique relationnelle des programmes non-déterministes et des processus communicants." Thèse, IMAG, Grenoble, juillet 1981.Google Scholar
  23. GUTTAG, J. V. and HORNING, J. J. "The algebraic specification of abstract data types." Acta Informatica, 1978.Google Scholar
  24. HOARE, C. A. R. "Communicating sequential processes." Communications of the ACM, Vol. 21, no. 8, 1978.Google Scholar
  25. HOARE, C. A. R. "Notes on communicating processes." PRG-33, Oxford University, 1983.Google Scholar
  26. HUFFLEN, J. M. "Notes sur FP et son implantation en LPG." RR IMAG 518 (LIFIA 20), Grenoble,1985.Google Scholar
  27. JORRAND, Ph. "Specification of communicating processes and process implementation correctness." Lecture Notes in Computer Science no. 137, 1982.Google Scholar
  28. JORRAND, Ph. "FP2: "Functional Parallel Programming based on term substitution." RR IMAG 482 (LIFIA 15), Grenoble, 1984.Google Scholar
  29. MAY, D. "OCCAM." SIGPLAN Notices, Vol. 13, no. 4, 1983.Google Scholar
  30. MILNER, R. "A calculus of communicating systems." Lecture Notes in Computer Science, no. 92, 1980.Google Scholar
  31. PEREIRA, J. M. "Processus communicants: un langage formel et ses modèles. Problèmes d'analyse." Thèse, LIFIA, Grenoble, 1984.Google Scholar
  32. SOLER, R. "Une approche de la théorie de D. Scott et application à la sémantique des types abstraits algébriques." Thèse, LIFIA, Grenoble, septembre 1982.Google Scholar
  33. TURNER, D. A. "The semantic elegance of applicative languages." Conference on Functional Programming Languages & Computer Architecture, ACM, 1981.Google Scholar
  34. WILLIAMS J. H. "On the development of the algebra of functional programs." ACM Transactions on Programming Languages and Systems, Vol. 4, no. 4, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  1. 1.Institut National Polytechnique de GrenobleLIFIAFrance

Personalised recommendations