Advertisement

Extension of weakest precondition formalism to a low level language

  • A. Sanyal
  • S. Biswas
  • V. M. Malhotra
Session 9 Software Techology
Part of the Lecture Notes in Computer Science book series (LNCS, volume 287)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dijkstra, E.W.: A Discipline of Programming. New Jersey: Prentice-Hall (1976).Google Scholar
  2. 2.
    He, J.: General Predicate Transformer and the Semantics of a Programming Language with Go To Statement. Acta Informatica 20, 35–57 (1983).CrossRefGoogle Scholar
  3. 3.
    Stoy, J.E.:Denotational Semantics:The Scott-Strachey Approach to Programming Language Theory. MIT Press (1977).Google Scholar
  4. 4.
    Sanyal,A.:Correctness of Compiling Process Based on Predicate Transformer Semantics. Ph.D Dissertation, Department of Computer Science and Engineering, IIT Kanpur. Under preparation (1987).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • A. Sanyal
    • 1
  • S. Biswas
    • 1
  • V. M. Malhotra
    • 1
  1. 1.Department of Computer Science and EngineeringI.I.T KanpurKanpurIndia

Personalised recommendations