Advertisement

Computational processes generated by programs with /recursive/ procedures and block structures

  • A. Salwicki
  • T. Müldner
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Naur, P /ed./ Revised Report on the Algorithmic Language ALGOL 60 Comm. ACM 6,1 /Jan. 1963/, pp.1–17.Google Scholar
  2. [2]
    Mirkowska, G; Salwicki, A. A complete axiomatic characterization of algonithmic properties of block-structure programs with /recursive/ procedures — the same volume.Google Scholar
  3. [3]
    Müldner, T; Salwicki,A. Computational processes generated by programs with /recursive/ procedures and block structures — to appear in Fund. Informaticae.Google Scholar
  4. [4]
    Rasiowa,H; Sikorski, R. Mathematics of metamathematics — Warsaw /1963/.Google Scholar
  5. [5]
    Salwicki,A. Programmability and Recursiveness /an application of algorithmic logic to procedures/ — to appear in Dissertationes Mathematicae.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • A. Salwicki
    • 1
  • T. Müldner
    • 2
  1. 1.Warsaw UniversityPoland
  2. 2.Institute of Computing MachinesPoland

Personalised recommendations