{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:52:52Z","timestamp":1693857172881},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643036","type":"print"},{"value":"9783540697237","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053580","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:46:16Z","timestamp":1149659176000},"page":"7-20","source":"Crossref","is-referenced-by-count":4,"title":["Some mistakes I have and what I have learned from them"],"prefix":"10.1007","author":[{"given":"Cliff B","family":"Jones","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"2_CR1","unstructured":"P. Aczel. A note on program verification. manuscript, January 1982."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4), 1989.","DOI":"10.1007\/BF01211312"},{"key":"2_CR3","unstructured":"Pierre America and Jan Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis, Free University of Amsterdam, 1989."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"H. Barringer, J.H. Cheng, and C. B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251\u2013269, 1984.","journal-title":"Acta Informatica"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. Now you can compose temporal logic specification. In Proceedings of 16th ACM STOC, Washington, May 1984.","DOI":"10.1145\/800057.808665"},{"key":"2_CR6","unstructured":"J.H. Cheng. A Logic for Partial Functions. PhD thesis, University of Manchester, 1986."},{"key":"2_CR7","unstructured":"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\u201369. Springer-Verlag, 1991."},{"key":"2_CR8","unstructured":"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."},{"key":"2_CR9","unstructured":"Pierre Collette. Design of Compositional Proof Systems Based on Assumption-Commitment Specifications \u2014Application to UNITY. PhD thesis, Louvain-la-Neuve, June 1994."},{"key":"2_CR10","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"2_CR11","unstructured":"Edsger W Dijkstra and Carel S Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990. ISBN 0-387-96957-8, 3-540-96957-8."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"D. Gries. The Science of Programming. Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"2_CR14","unstructured":"G. H. Hardy. A Mathematician's Apology. Cambridge University Press, 1967."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"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\u00f6rg Schek, editors, Oject Orientation with Parallelism and Persistence, pages 1\u201322. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-1-4613-1437-0_1"},{"issue":"10","key":"2_CR16","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013580, 583, October 1969.","journal-title":"Communications of the ACM"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"T. Ito and A. R. Meyer, editors. TACS'91 \u2014Proceedings of the International Conference on Theoretical Aspects of Computer Science, Sendai, Japan, volume 526 of Lecture Notes in Computer Science. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54415-1"},{"issue":"5","key":"2_CR18","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF01178666","volume":"31","author":"C.B. Jones","year":"1994","unstructured":"C.B. Jones and C.A. Middelburg. A typed logic of partial functions reconstructed classically. Acta Informatica, 31(5):399\u2013430, 1994.","journal-title":"Acta Informatica"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"C. B. Jones. Formal development of correct algorithms: an example based on Earley's recogniser. In SIGPLAN Notices, Volume 7 Number 1, pages 150\u2013169. ACM, January 1972.","DOI":"10.1145\/800235.807083"},{"key":"2_CR20","unstructured":"C. B. Jones. Formal development of programs. Technical Report 12.117, IBM Laboratory Hursley, June 1973."},{"key":"2_CR21","unstructured":"C. B. Jones. Software Development: A Rigorous Approach. Prentice Hall International, 1980. ISBN 0-13-821884-6."},{"key":"2_CR22","unstructured":"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."},{"key":"2_CR23","unstructured":"C. B. Jones. Specification and design of (parallel) programs. In Proceedings of IFIP'83, pages 321\u2013332. North-Holland, 1983."},{"key":"2_CR24","unstructured":"C. B. Jones. Systematic Software Development Using VDM. Prentice Hall International, 1986."},{"key":"2_CR25","unstructured":"C. B. Jones. The search for tractable ways of reasoning about programs. Technical Report UMCS-92-4-4, Manchester University, 1992."},{"issue":"2","key":"2_CR26","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0020-0190(95)00042-B","volume":"54","author":"C.B. Jones","year":"1995","unstructured":"C.B. Jones. Partial functions and logics: A warning. Information Processing Letters, 54(2):65\u201367, 1995.","journal-title":"Information Processing Letters"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"C. B. Jones. Some practical problems and their influence on semantics. In ESOP'96, volume 1058 of Lecture Notes in Computer Science, pages 1\u201317. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61055-3_26"},{"key":"2_CR28","unstructured":"S. C. Kleene. Introduction to Metamathematics. Van Nostrad, 1952."},{"key":"2_CR29","unstructured":"G. Koletsos. Sequent calculus and partial logic. Master's thesis, Manchester University, 1976."},{"key":"2_CR30","unstructured":"P. Lucas. Note on strong meanings of logical operators. Technical Report LN 25.3.051, IBM Laboratory Vienna, 1969."},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1016\/0066-4138(69)90005-6"},{"key":"2_CR32","unstructured":"J. McCarthy. Predicate calculus with\u2019 undefined\u2019 as a truth-value. Technical Report AI Memo 1, Stanford Artificial Intelligence Project, March 22nd 1963."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. In M. Broy, editor, Logic and Algebra of Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"2_CR35","unstructured":"K. St\u00d8len. Development of Parallel Programs on Shared Data-Structures. PhD thesis, Manchester University, 1990. available as UMCS-91-1-1."},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"D. Walker. \u03c0-calculus semantics for object-oriented programming languages. In [IM91], pages 532\u2013547, 1991.","DOI":"10.1007\/3-540-54415-1_63"},{"key":"2_CR37","unstructured":"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."},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"D. Walker. Algebraic proofs of properties of objects, 1994. Proceedings of ESOP'94.","DOI":"10.1007\/3-540-57880-3_33"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Qiwen Xu. A Theory of State-based Parallel Programming. PhD thesis, Oxford University, 1992.","DOI":"10.1007\/978-1-4471-3756-6_15"}],"container-title":["Fundamental Approaches to Software Engineering","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T17:05:23Z","timestamp":1683479123000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053580"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643036","9783540697237"],"references-count":39,"URL":"http:\/\/dx.doi.org\/10.1007\/bfb0053580","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}