The formal termination problem for programs with finite ALGOL 68-modes
- 5 October 1979
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 9 (3) , 155-159
- https://doi.org/10.1016/0020-0190(79)90058-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On the power of self-application and higher type recursionLecture Notes in Computer Science, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- On procedures as open subroutines. IIActa Informatica, 1974
- On procedures as open subroutines. IActa Informatica, 1973
- On correct procedure parameter transmission in higher programming languagesActa Informatica, 1973
- The “most recent” errorACM SIGPLAN Notices, 1972
- Stack automata and compilingJournal of the ACM, 1967