Advertisement

Graph representation and computation rules for typeless recursive languages

  • G. Pacini
  • C. Montangero
  • F. Turini
Tuesday Morning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)

Keywords

Transformation Rule Optimal Rule Computation Rule Recursive Language Computation Halt 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cadiou J.M. "Recursive definitions of partial functions and their computations". Ph.D. Thesis. Computer Science Depat. Stanford U., 1972.Google Scholar
  2. Manna Z., S.Ness and J.Vuillemin. "Inductive methods for proving properties of pregrams". CACM, pp. 491–502, August 1973.Google Scholar
  3. Pacini G. "An optimal fixpoint computation algorithm for a simple recursive language". Internal Report I.E.I. B73-10, October 73.Google Scholar
  4. Rosen K.B.K. "Tree manipulating systems and Church Rosser theorems". JACM, pp. 160–187, January 1973.Google Scholar
  5. Scott D. "Outline of a mathematical theory of computation". Oxford U. PRG technical mono., 1970.Google Scholar
  6. Vuillemin J. "Correct and optimal implementations of recursion in a simple programming language". Proc. of 5-th annual ACM Symposium on Theory of Computing. Austin, Texas. pp. 224–239, April 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • G. Pacini
    • 1
    • 2
  • C. Montangero
    • 1
    • 2
  • F. Turini
    • 1
    • 2
  1. 1.Istituto di Scienze dell'InformazioneUniversita' di PisaItaly
  2. 2.Istituto di Elaborazione dell'Informazione del C.N.R.Pisa

Personalised recommendations