Skip to main content
SpringerLink
Log in

Invariance and contraction by infinite iterations of relations

  • Conference paper
  • First Online:
Reasearch Directions in High-Level Parallel Programming Languages (HLPPP 1991)

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

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. Arnold, V. I., and A. Avez, Ergodic Problems of Classical Mechanics, Addison-Wesley, Redwood City CA., USA, 1989.

    Google Scholar 

  2. Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, Englewood Cliffs N.J., USA, 1976.

    Google Scholar 

  3. Devaney, R. L., An Introduction to Chaotic Dynamical Systems, 2nd ed., Addison-Wesley, Redwood City CA., USA, 1989.

    Google Scholar 

  4. Floyd, R.W., Assigning meanings to programs, in: Proc. Symp. in Appl. Maths., Vol.19, Amer. Math. Soc., Providence R.I., USA, 1967, pp. 19–32.

    Google Scholar 

  5. Sintzoff, M., Ensuring correctness by arbitrary postfixed-points, in: Proc. 7th Symp. Math. Found. Comprit. Sci., LNCS 64, Springer-Verlag, Berlin, 1978, pp. 484–492.

    Google Scholar 

  6. Tarski, A., A lattice theoretical fixpoint theorem and its applications, Pacific J. Math. 5(1955), pp. 285–310.

    Google Scholar 

  7. van Lamsweerde, A., and M. Sintzoff, Formal derivation of strongly correct concurrent programs, Acta Informatica 12(1979), pp. 1–32.

    Google Scholar 

  8. Wiggins, S., Introduction to Applied Nonlinear Dynamical Systems and Chaos, Texts in Appl. Maths. 2, Springer-Verlag, Berlin, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Unité d'Informatique, University of Louvain, pl. Ste-Barbe 2, B-1348, Louvain-la-Neuve, Belgium

    Michel Sintzoff

Authors
  1. Michel Sintzoff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean Pierre Banâtre Daniel Le Métayer

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sintzoff, M. (1992). Invariance and contraction by infinite iterations of relations. In: Banâtre, J., Le Métayer, D. (eds) Reasearch Directions in High-Level Parallel Programming Languages. HLPPP 1991. Lecture Notes in Computer Science, vol 574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55160-3_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-55160-3_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55160-7

  • Online ISBN: 978-3-540-46762-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation