Publisher
Springer Berlin Heidelberg
Reference86 articles.
1. A.V. Aho, "Indexed grammars — an extension of context-free grammars", Journal of the Association for Computing Machinery 15(1968), pp. 647–671.
2. E. Ashcroft and Z. Manna, "The translation of "go to" programs to "while" programs", Proc. IFIP Congress 71.
3. E. Ashcroft, Z. Manna and A. Pnueli, "Decidable properties of monadic functional schemas", Journal of the Association for Computing Machinery 20 (1973), pp. 489–499.
4. J.W. de Bakker, "Semantics of programming languages", Advances in Information Systems Science, Vol.2, Plenum Press, 1969, pp. 173–227.
5. Mathematical Centre Tracts;J. W. Bakker de,1971
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Descriptional Complexity for Classes of Ianov-Schemes;Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83;1985
2. Economy of description for program schemes extended abstract;Foundations of Computation Theory;1983
3. Procedural control in production systems;Artificial Intelligence;1982-03
4. On a theory of decision problems in programming languages;Mathematical Studies of Information Processing;1979