Skip to main content
SpringerLink
Log in

Extension of weakest precondition formalism to a low level language

  • Session 9 Software Techology
  • Conference paper
  • First Online:
Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 287))

  • 118 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dijkstra, E.W.: A Discipline of Programming. New Jersey: Prentice-Hall (1976).

    Google Scholar 

  2. He, J.: General Predicate Transformer and the Semantics of a Programming Language with Go To Statement. Acta Informatica 20, 35–57 (1983).

    Article  Google Scholar 

  3. Stoy, J.E.:Denotational Semantics:The Scott-Strachey Approach to Programming Language Theory. MIT Press (1977).

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, I.I.T Kanpur, 208016, Kanpur, U.P., India

    A. Sanyal, S. Biswas & V. M. Malhotra

Authors
  1. A. Sanyal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Biswas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. V. M. Malhotra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kesav V. Nori

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sanyal, A., Biswas, S., Malhotra, V.M. (1987). Extension of weakest precondition formalism to a low level language. In: Nori, K.V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1987. Lecture Notes in Computer Science, vol 287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18625-5_70

Download citation

  • DOI: https://doi.org/10.1007/3-540-18625-5_70

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18625-0

  • Online ISBN: 978-3-540-48033-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation