Polyvariant mixed computation for analyzer programs
- 1 December 1984
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 21 (5) , 473-484
- https://doi.org/10.1007/bf00271642
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- On folk theoremsCommunications of the ACM, 1980
- Correctness of mixed computation in ALGOL-like programsPublished by Springer Nature ,1977