This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Fairley, R.E., Software validation and pre-implementation issues. Software Development Tools, Springer Verlag, Berlin 1980
Hořejš, J., Finite semantics: A technique for program testing. Proc. 4th Intern. Conf. Softw. Eng., Munich, Sept. 1979, 433–440
Hořejš, J., The theory of flowchart schemata, Proc. 7th Software Seminar SOFSEM'80, VVS Bratislava 1980, 7–33 (in Czech)
Greibach, S.A., Theory of program structures: schemes, semantics, verification. Lecture Notes in Comp. Sci. 36, Springer Verlag, Berlin 1975
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hořejš, J. (1981). Partial interpretations of program schemata. In: Gruska, J., Chytil, M. (eds) Mathematical Foundations of Computer Science 1981. MFCS 1981. Lecture Notes in Computer Science, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10856-4_96
Download citation
DOI: https://doi.org/10.1007/3-540-10856-4_96
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10856-6
Online ISBN: 978-3-540-38769-5
eBook Packages: Springer Book Archive