Partial interpretations of program schemata

  • J. Hořejš
Part of the Lecture Notes in Computer Science book series (LNCS, volume 118)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fairley, R.E., Software validation and pre-implementation issues. Software Development Tools, Springer Verlag, Berlin 1980Google Scholar
  2. 2.
    Hořejš, J., Finite semantics: A technique for program testing. Proc. 4th Intern. Conf. Softw. Eng., Munich, Sept. 1979, 433–440Google Scholar
  3. 3.
    Hořejš, J., The theory of flowchart schemata, Proc. 7th Software Seminar SOFSEM'80, VVS Bratislava 1980, 7–33 (in Czech)Google Scholar
  4. 4.
    Greibach, S.A., Theory of program structures: schemes, semantics, verification. Lecture Notes in Comp. Sci. 36, Springer Verlag, Berlin 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • J. Hořejš
    • 1
  1. 1.ÚVT UJEPBrnoCzechoslovakia

Personalised recommendations