Abstract
Three schemes of mixed computation have been defined and studied: mix, \(\overline{\overline {mix}} and\mathop {mix}\limits^\bigcirc\). For a given R1, the following inclusions take place: \(ssv (mix) \subseteq ssv (\overline{\overline {mix}} ) \subseteq ssv\mathop {(mix}\limits^\bigcirc )\). The processes \(\overline{\overline {mix}} and\mathop {mix}\limits^\bigcirc\)are correct in the general case, mix is more effective but requires a kind of memory protection.
In all three processes, suspended statements and trains are attached to the extending residual program without any modification. However, an evaluation of some functional and predicate terms is possible in a suspended statement or train that can greatly simplify the residual program. This and some other optimizations in mixed computation are the subject of further study.
Preview
Unable to display preview. Download preview PDF.
References
A.P.Ershov. On the principle of partial computation. Information Processing Letters, 1977, No. 2.
A.P.Ershov. On the essence of compilation. IFIP Working Conference on "Formal description of programming concepts". S.Andrews, Canada, August, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ershov, A.P., Itkin, V.E. (1977). Correctness of mixed computation in ALGOL-like programs. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_128
Download citation
DOI: https://doi.org/10.1007/3-540-08353-7_128
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08353-5
Online ISBN: 978-3-540-37285-1
eBook Packages: Springer Book Archive