Mathematical model of programs with dynamic allocation of variables

  • J. Leszczyłowski
Theory Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)


Binary Relation Fixed Length Total Function Empty String Dynamic Allocation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    BLIKLE, A.; MAZURKIEWICZ, A. An algebraic approach to the theory of programs, algorithms, languages and recursiveness. Math. Found. Comp. Sci. I (Proc. Symp. Warsaw-Jabłonna 1972), Warsaw 1972Google Scholar
  2. [2]
    LESZCZYŁOWSKI, J. Mathematical theory of programs with dynamic allocation of variables. Ph.D. Thesis, in preparationGoogle Scholar
  3. [3]
    LESZCZYŁOWSKI, J. On equivalence of programs. Math. Found. Comp. Sci. III (Proc. Symp. Warsaw-Jadwisin 1974), Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, (this volume)Google Scholar
  4. [4]
    MAZURKIEWICZ, A. Polyadic program schemes. ibidGoogle Scholar
  5. [5]
    MAZURKIEWICZ, A. Recursive algorithms and formal languages. Bull. Acad. Polon. Sci., Ser. Sci. Math. Phys. 20 (1972), 799–803Google Scholar
  6. [6]
    SCOTT, D.; STRACHEY, Ch. Toward a Mathematical Semantics for Computer Languages. Technical Monograph PRG-6, August 1971, Oxford University Computing Laboratory.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • J. Leszczyłowski
    • 1
  1. 1.Computation CenterPolish Academy of Sciences PKiNWarsawPoland

Personalised recommendations