Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

Algorithmically definable functions (A contribution towards the semantics of programming languages)

Seria
Rozprawy Matematyczne tom/nr w serii: 85 wydano: 1971
Zawartość
Warianty tytułu
Abstrakty
EN

CONTENTS
List of the mostly used symbols................................................................................ 6
1. Introduction and summary...................................................................................... 7
2. Basic language......................................................................................................... 10
3. Semantics of the basic language......................................................................... 11
4. Flow-algorithms........................................................................................................ 12
5. Algorithmically definable functions....................................................................... 16
6. Operations on algorithms....................................................................................... 17
7. Normal models......................................................................................................... 23
8. Relations definable in normal models................................................................ 30
9. The main theorem on normal models................................................................. 33
10. Canonical algorithms............................................................................................ 37
11. The algebra of algorithms.................................................................................... 39
12. An abstract programming language.................................................................. 43
13. Final remarks and open problems..................................................................... 40
Acknowledgements...................................................................................................... 51
References.................................................................................................................... 52
Słowa kluczowe
Tematy
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne tom/nr w serii: 85
Liczba stron
53
Liczba rozdzia³ów
Opis fizyczny
Dissertationes Mathematicae, Tom LXXXV
Daty
wydano
1971
Twórcy
Bibliografia
  • [1] J. W. de Bakker, Semantics of programming languages, to appear.
  • [2] A. Blikle, About the meaning of programs, Bull. Acad. Polon. Sci., Sér. Sci. Math., Astronom. Phys. 18 (1970).
  • [3] A. Blikle, Functions definable by means of programs, ibid.
  • [4] A. Blikle, An algebra of flow-algorithms, ibid.
  • [5] R. W. Floyd, Assigning meanings to programs, in Mathematical Aspects of Computer Science, Proc. of Symp. in Applied Mathematics, Vol. 19 (J. T. Schwartz, ed.), pp. 19-32, American Mathematical Society (1967).
  • [6] L. A. Kaluzhnin, Algorithmization of mathematical problems, in Problems of Cybernetics, vol. II, pp. 371-391, New York 1961.
  • [7] J. McCarthy, A basis for mathematical theory of computation, in Computer Programming and. Formal Systems, (P. Braffort and D. Hirschberg, eds.) pp. 33-69, Amsterdam 1963.
  • [8] J. McCarthy, Towards a mathematical science of computation, in Information Processing 1962, Proc. IFIP Congress 1962, pp. 21-28, Amsterdam 1963
Języki publikacji
EN
Uwagi
Identyfikator YADDA
bwmeta1.element.desklight-62a16de4-3e2f-479f-a7bf-2b2953dccc2c
Identyfikatory
Kolekcja
DML-PL
Zawartość książki

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.