CONTENTSList of the mostly used symbols................................................................................ 61. Introduction and summary...................................................................................... 72. Basic language......................................................................................................... 103. Semantics of the basic language......................................................................... 114. Flow-algorithms........................................................................................................ 125. Algorithmically definable functions....................................................................... 166. Operations on algorithms....................................................................................... 177. Normal models......................................................................................................... 238. Relations definable in normal models................................................................ 309. The main theorem on normal models................................................................. 3310. Canonical algorithms............................................................................................ 3711. The algebra of algorithms.................................................................................... 3912. An abstract programming language.................................................................. 4313. Final remarks and open problems..................................................................... 40Acknowledgements...................................................................................................... 51References.................................................................................................................... 52
@book{bwmeta1.element.desklight-62a16de4-3e2f-479f-a7bf-2b2953dccc2c, author = {Andrzej Blikle}, title = {Algorithmically definable functions (A contribution towards the semantics of programming languages)}, series = {GDML\_Books}, publisher = {Instytut Matematyczny Polskiej Akademi Nauk}, address = {Warszawa}, year = {1971}, zbl = {0221.68045}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.desklight-62a16de4-3e2f-479f-a7bf-2b2953dccc2c} }
Andrzej Blikle. Algorithmically definable functions (A contribution towards the semantics of programming languages). GDML_Books (1971), http://gdmltest.u-ga.fr/item/bwmeta1.element.desklight-62a16de4-3e2f-479f-a7bf-2b2953dccc2c/