Jones: Development of interfering programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 191)
Proof Methods For Shared Variable Parallelism
KeywordsPost 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.
- [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
- [Jo83a]Jones, C.B. Tentative Steps Towards a Development Method for Interfering Programs ACM Toplas, Vol. 5, No. 4, pp576–619, 1983.Google Scholar
- [Jo83b]Jones, C.B. Specification and Design of (Parallel) Programs Proc. IFIP 83, Paris, North Holland, 1983.Google Scholar
- [Jo80]Jones, C.B. Software Development: A Rigorous Approach Prentice Hall International Series in Computer Science, 1980.Google Scholar
© Springer-Verlag Berlin Heidelberg 1985