Jones: Development of interfering programs

Proof Methods For Shared Variable Parallelism
Part of the Lecture Notes in Computer Science book series (LNCS, volume 191)


Post Condition Inference Rule Parallel Composition Guarantee Condition Proof Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

2.2.1 References

  1. [Jo81]
    Jones, C.B. Development Methods for Computer Programs including a Notion of Interference Ph.D thesis, Programming Research Group, University of Oxford, 1981 also Technical Monograph PRG-25, June 1981.Google Scholar
  2. [Jo83a]
    Jones, C.B. Tentative Steps Towards a Development Method for Interfering Programs ACM Toplas, Vol. 5, No. 4, pp576–619, 1983.Google Scholar
  3. [Jo83b]
    Jones, C.B. Specification and Design of (Parallel) Programs Proc. IFIP 83, Paris, North Holland, 1983.Google Scholar
  4. [Jo80]
    Jones, C.B. Software Development: A Rigorous Approach Prentice Hall International Series in Computer Science, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Personalised recommendations