Abstract
The purpose of this paper is to make a number of points about the selection of topics, research style, and dissemination of ideas. The writing style chosen is to present past personal decisions which might be regarded as technical or strategic mistakes and to indicate what positive messages can be derived from the experiences.
Chapter PDF
Keywords
- Formal Method
- Partial Function
- Operational Semantic
- Virtual Reality Modelling Language
- Language Definition
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.
References
P. Aczel. A note on program verification. manuscript, January 1982.
Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4), 1989.
Pierre America and Jan Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis, Free University of Amsterdam, 1989.
H. Barringer, J.H. Cheng, and C. B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251–269, 1984.
H. Barringer, R. Kuiper, and A. Pnueli. Now you can compose temporal logic specification. In Proceedings of 16th ACM STOC, Washington, May 1984.
J.H. Cheng. A Logic for Partial Functions. PhD thesis, University of Manchester, 1986.
J. H. Cheng and C. B. Jones. On the usability of logics which handle partial functions. In C. Morgan and J. C. P. Woodcock, editors, 3rd Refinement Workshop, pages 51–69. Springer-Verlag, 1991.
P. Collette and C. B. Jones. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In G. D. Plotkin, editor, to be published. MIT Press, 1998.
Pierre Collette. Design of Compositional Proof Systems Based on Assumption-Commitment Specifications —Application to UNITY. PhD thesis, Louvain-la-Neuve, June 1994.
E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
Edsger W Dijkstra and Carel S Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990. ISBN 0-387-96957-8, 3-540-96957-8.
J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217–273, 1992.
D. Gries. The Science of Programming. Springer-Verlag, 1981.
G. H. Hardy. A Mathematician's Apology. Cambridge University Press, 1967.
Steve J. Hodges and Cliff B. Jones. Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In Burkhard Freitag, Cliff B. Jones, Christian Lengauer, and Hans-Jörg Schek, editors, Oject Orientation with Parallelism and Persistence, pages 1–22. Kluwer Academic Publishers, 1996.
C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576–580, 583, October 1969.
T. Ito and A. R. Meyer, editors. TACS'91 —Proceedings of the International Conference on Theoretical Aspects of Computer Science, Sendai, Japan, volume 526 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
C.B. Jones and C.A. Middelburg. A typed logic of partial functions reconstructed classically. Acta Informatica, 31(5):399–430, 1994.
C. B. Jones. Formal development of correct algorithms: an example based on Earley's recogniser. In SIGPLAN Notices, Volume 7 Number 1, pages 150–169. ACM, January 1972.
C. B. Jones. Formal development of programs. Technical Report 12.117, IBM Laboratory Hursley, June 1973.
C. B. Jones. Software Development: A Rigorous Approach. Prentice Hall International, 1980. ISBN 0-13-821884-6.
C. B. Jones. Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University, June 1981. Printed as: Programming Research Group, Technical Monograph 25.
C. B. Jones. Specification and design of (parallel) programs. In Proceedings of IFIP'83, pages 321–332. North-Holland, 1983.
C. B. Jones. Systematic Software Development Using VDM. Prentice Hall International, 1986.
C. B. Jones. The search for tractable ways of reasoning about programs. Technical Report UMCS-92-4-4, Manchester University, 1992.
C.B. Jones. Partial functions and logics: A warning. Information Processing Letters, 54(2):65–67, 1995.
C. B. Jones. Some practical problems and their influence on semantics. In ESOP'96, volume 1058 of Lecture Notes in Computer Science, pages 1–17. Springer-Verlag, 1996.
S. C. Kleene. Introduction to Metamathematics. Van Nostrad, 1952.
G. Koletsos. Sequent calculus and partial logic. Master's thesis, Manchester University, 1976.
P. Lucas. Note on strong meanings of logical operators. Technical Report LN 25.3.051, IBM Laboratory Vienna, 1969.
P. Lucas and K. Walk. On The Formal Description of PL/I, volume 6 of Annual Review in Automatic Programming Part 3. Pergamon Press, 1969.
J. McCarthy. Predicate calculus with’ undefined’ as a truth-value. Technical Report AI Memo 1, Stanford Artificial Intelligence Project, March 22nd 1963.
R. Milner. The polyadic π-calculus: A tutorial. In M. Broy, editor, Logic and Algebra of Specification. Springer-Verlag, 1992.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1–77, 1992.
K. StØlen. Development of Parallel Programs on Shared Data-Structures. PhD thesis, Manchester University, 1990. available as UMCS-91-1-1.
D. Walker. π-calculus semantics for object-oriented programming languages. In [IM91], pages 532–547, 1991.
D. Walker. Process calculus and parallel object-oriented programming languages. In In T. Casavant (ed), Parallel Computers: Theory and Practice. Computer Society Press, to appear, 1993.
D. Walker. Algebraic proofs of properties of objects, 1994. Proceedings of ESOP'94.
Qiwen Xu. A Theory of State-based Parallel Programming. PhD thesis, Oxford University, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jones, C.B. (1998). Some mistakes I have and what I have learned from them. In: Astesiano, E. (eds) Fundamental Approaches to Software Engineering. FASE 1998. Lecture Notes in Computer Science, vol 1382. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053580
Download citation
DOI: https://doi.org/10.1007/BFb0053580
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64303-6
Online ISBN: 978-3-540-69723-7
eBook Packages: Springer Book Archive