default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCliff B. Jones
Clifford B. Jones
Person information
- affiliation: Newcastle University, Newcastle upon Tyne, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j59]Cliff B. Jones
, Alan Burns:
Extending rely-guarantee thinking to handle real-time scheduling. Formal Methods Syst. Des. 62(1): 119-140 (2024)- [j58]Cliff B. Jones:
Three Early Formal Approaches to the Verification of Concurrent Programs. Minds Mach. 34(1): 73-92 (2024) - [i13]Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones:
Data reification in a concurrent rely-guarantee algebra. CoRR abs/2405.05546 (2024) - [i12]Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Handling expression evaluation under interference. CoRR abs/2409.07741 (2024) - 2023
- [c64]Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods 2023: 110-135 - [i11]Nisansala P. Yatapanage, Cliff B. Jones:
Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols. CoRR abs/2311.15189 (2023) - [i10]Cliff B. Jones, Alan Burns:
Extending Rely-Guarantee thinking to handle Real-Time Scheduling. CoRR abs/2312.00171 (2023) - 2022
- [j57]Cliff B. Jones, Martyn Thomas:
The Development and Deployment of Formal Methods in the UK. Formal Aspects Comput. 34(1): 1-21 (2022) - [c63]Alan Burns, Cliff B. Jones:
An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. ECRTS 2022: 14:1-14:23 - 2021
- [p11]Cliff B. Jones, Jayadev Misra:
Preface. Theories of Programming 2021 - [p10]Cliff B. Jones, Jayadev Misra:
Finding Effective Abstractions. Theories of Programming 2021: 23-40 - [p9]Cliff B. Jones:
List of Tony Hoare's Publications. Theories of Programming 2021: 395-410 - [e19]Cliff B. Jones, Jayadev Misra:
Theories of Programming: The Life and Works of Tony Hoare. ACM Books 39, ACM / Morgan & Claypool 2021, ISBN 978-1-4503-8728-6 [contents] - 2020
- [b7]Cliff B. Jones:
Understanding Programming Languages. Springer 2020, ISBN 978-3-030-59256-1, pp. 1-229 - [j56]Alan Burns, Ian J. Hayes, Cliff B. Jones:
Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. 63(5): 774-790 (2020) - [i9]Cliff B. Jones, Martyn Thomas:
The development and deployment of formal methods in the UK. CoRR abs/2006.06327 (2020) - [i8]Cliff B. Jones, Alan Burns:
A Rely-Guarantee Specification of Mixed-Criticality Scheduling. CoRR abs/2012.01493 (2020)
2010 – 2019
- 2019
- [j55]Cliff B. Jones, Nisansala Yatapanage:
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Formal Aspects Comput. 31(3): 353-374 (2019) - [j54]Cliff B. Jones, José Oliveira:
Editorial. Formal Aspects Comput. 31(6): 661 (2019) - [c62]Cliff B. Jones:
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads. FM Workshops (2) 2019: 54-72 - 2018
- [p8]Cliff B. Jones:
Concurrency: Handling Interference Formally. Symposium on Real-Time and Hybrid Systems 2018: 26-43 - [e18]Cliff B. Jones, Ji Wang, Naijun Zhan:
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 11180, Springer 2018, ISBN 978-3-030-01460-5 [contents] - 2017
- [j53]Cliff B. Jones:
The Turing Guide - By Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson and others Oxford University Press, Oxford, UK, 26 January 2017, xv+576 pp, 246 × 189 mm, ISBN: 9780198747826 (Hardback, $75.00), ISBN: 9780198747833 (Paperback, $19.99). Formal Aspects Comput. 29(6): 1121-1122 (2017) - [c61]Cliff B. Jones:
Turing's 1949 Paper in Context. CiE 2017: 32-41 - [c60]Ian J. Hayes, Cliff B. Jones:
A Guide to Rely/Guarantee Thinking. SETSS 2017: 1-38 - [c59]Cliff B. Jones, Troy K. Astarte:
Challenges for Formal Semantic Description: Responses from the Main Approaches. SETSS 2017: 176-217 - [c58]Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage:
General Lessons from a Rely/Guarantee Development. SETTA 2017: 3-22 - 2016
- [j52]Cliff B. Jones, Ian J. Hayes:
Possible values: Exploring a concept for concurrency. J. Log. Algebraic Methods Program. 85(5): 972-984 (2016) - [i7]Cliff B. Jones, Ian J. Hayes:
Possible values: exploring a concept for concurrency. CoRR abs/1601.02132 (2016) - [i6]Manuel Mazzara, Cliff B. Jones, Alexei Iliasov:
Lessons from DEPLOYment. CoRR abs/1607.00475 (2016) - 2015
- [j51]Cliff B. Jones:
In memoriam: Professor Heinz Zemanek (1920-2014). Formal Aspects Comput. 27(2): 237 (2015) - [j50]Cliff B. Jones, Ian J. Hayes, Robert J. Colvin:
Balancing expressiveness in formal approaches to concurrency. Formal Aspects Comput. 27(3): 475-497 (2015) - [j49]Jim Woodcock, Cliff B. Jones:
Editorial. Formal Aspects Comput. 27(5-6): 751-752 (2015) - [c57]Cliff B. Jones, Nisansala Yatapanage:
Reasoning about Separation Using Abstraction and Reification. SEFM 2015: 3-19 - 2014
- [j48]Cliff B. Jones:
Editorial. Formal Aspects Comput. 26(3): 433 (2014) - [j47]Cliff B. Jones:
Editorial. Formal Aspects Comput. 26(5): 861 (2014) - [j46]Cliff B. Jones, Alexander B. Romanovsky:
Special issue on Automated Verification of Critical Systems (AVoCS'11). Sci. Comput. Program. 82: 1 (2014) - [j45]Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles:
Revising basic theorem proving algorithms to cope with the logic of partial functions. Sci. Comput. Program. 94: 238-252 (2014) - [c56]Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside:
A Model for Capturing and Replaying Proof Strategies. VSTTE 2014: 183-199 - [p7]Leo Freitas, Cliff B. Jones, Andrius Velykis:
Can a system learn from interactive proofs? HOWARD-60 2014: 124-139 - [e17]Cliff B. Jones, Pekka Pihlajasaari, Jun Sun:
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science 8442, Springer 2014, ISBN 978-3-319-06409-3 [contents] - 2013
- [j44]Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones:
Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. 56(6): 741-755 (2013) - [c55]Cliff B. Jones, Leo Freitas, Andrius Velykis:
Ours Is to Reason Why. Theories of Programming and Formal Methods 2013: 227-243 - [c54]Cliff B. Jones:
Expressiveness of Notations for Reasoning about Concurrency. ICECCS 2013: 1 - [p6]Rainer Gmehlich, Cliff B. Jones:
Experience of Deployment in the Automotive Industry. Industrial Deployment of System Engineering Methods 2013: 13-26 - 2012
- [j43]Cliff B. Jones:
John McCarthy (1927-2011). Formal Aspects Comput. 24(3): 305-306 (2012) - [c53]Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles:
A Semantic Analysis of Logics That Cope with Partial Terms. ABZ 2012: 252-265 - [c52]Cliff B. Jones:
Abstraction as a Unifying Link for Formal Approaches to Concurrency. SEFM 2012: 1-15 - [i5]Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore:
AI meets Formal Software Development (Dagstuhl Seminar 12271). Dagstuhl Reports 2(7): 1-29 (2012) - 2011
- [j42]Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011) - [j41]Cliff B. Jones, Ken G. Pierce:
Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects Comput. 23(3): 289-306 (2011) - [j40]Cliff B. Jones, Matthew J. Lovert:
Semantic Models for a Logic of Partial Functions. Int. J. Softw. Informatics 5(1-2): 55-76 (2011) - [e16]Cliff B. Jones, John L. Lloyd:
Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 6875, Springer 2011, ISBN 978-3-642-24540-4 [contents] - 2010
- [c51]Cliff B. Jones:
Abstractions Before Proofs. VERIFY@IJCAR 2010: 2 - [p5]Clifford B. Jones, A. W. Roscoe:
Insight, Inspiration and Collaboration. Reflections on the Work of C. A. R. Hoare 2010: 1-32 - [p4]Clifford B. Jones:
The Role of Auxiliary Variables in the Formal Development of Concurrent Programs. Reflections on the Work of C. A. R. Hoare 2010: 167-187 - [e15]A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood:
Reflections on the Work of C. A. R. Hoare. Springer 2010, ISBN 978-1-84882-911-4 [contents]
2000 – 2009
- 2009
- [e14]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5 [contents] - 2008
- [j39]John Robert Derek Hughes, Cliff B. Jones:
Reasoning about programs via operational semantics: requirements for a support system. Autom. Softw. Eng. 15(3-4): 299-312 (2008) - [j38]Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 20(1): 1-3 (2008) - [j37]Cliff B. Jones:
Valediction. Formal Aspects Comput. 20(6): 561 (2008) - [j36]John S. Fitzgerald, Cliff B. Jones:
The connection between two ways of reasoning about partial functions. Inf. Process. Lett. 107(3-4): 128-132 (2008) - [c50]Cliff B. Jones, Ken G. Pierce:
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ 2008: 360-377 - [c49]Cliff B. Jones:
Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE 2008: 7-8 - 2007
- [j35]Cliff B. Jones, Jim Woodcock:
Editorial. Formal Aspects Comput. 19(4): 415-416 (2007) - [j34]Joey W. Coleman, Cliff B. Jones:
Atomicity: A Unifying Concept in Computer Science. J. Univers. Comput. Sci. 13(8): 1042-1043 (2007) - [j33]Joey W. Coleman, Cliff B. Jones:
A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17(4): 807-841 (2007) - [j32]Cliff B. Jones:
Splitting atoms safely. Theor. Comput. Sci. 375(1-3): 109-119 (2007) - [c48]Cliff B. Jones:
Understanding Programming Language Concepts Via Operational Semantics. Domain Modeling and the Duration Calculus 2007: 177-235 - [c47]Cliff B. Jones, Ian J. Hayes, Michael A. Jackson:
Deriving Specifications for Systems That Are Connected to the Physical World. Formal Methods and Hybrid Real-Time Systems 2007: 364-390 - [c46]Cliff B. Jones, Ken G. Pierce:
What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS 2007: 300-306 - [e13]Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents] - [e12]Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5 [contents] - 2006
- [b6]Denis Besnard, Cristina Gacek, Clifford B. Jones:
Structure for dependability - computer-based systems from an interdisciplinary perspective. Springer 2006, ISBN 978-1-84628-110-5, pp. I-XII, 1-305 - [j31]Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock:
Verified Software: A Grand Challenge. Computer 39(4): 93-95 (2006) - [c45]Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump:
Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236 - [c44]Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky:
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. ISoLA 2006: 91-98 - [p3]Cliff B. Jones:
The DIRC Project as the Context of this Book. Trust in Technology 2006: 217-221 - [e11]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006. Dagstuhl Seminar Proceedings 06121, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e10]Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2 [contents] - [i4]Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky:
06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006 - [i3]Gerhard Weikum, Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky:
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science. Atomicity: A Unifying Concept in Computer Science 2006 - 2005
- [j30]Jon Burton, Cliff B. Jones:
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. J. Univers. Comput. Sci. 11(5): 634-635 (2005) - [j29]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
The Atomic Manifesto. J. Univers. Comput. Sci. 11(5): 636-651 (2005) - [j28]Jon Burton, Cliff B. Jones:
Investigating Atomicity and Observability. J. Univers. Comput. Sci. 11(5): 661-686 (2005) - [j27]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues:
The atomic manifesto: a story in four quarks. SIGMOD Rec. 34(1): 63-69 (2005) - [j26]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues:
The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. 39(2): 41-46 (2005) - [c43]Cliff B. Jones:
Some Interdisciplinary Observations about Getting the "Right" Specification. VSTTE 2005: 64-69 - [c42]Cliff B. Jones:
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract. ZB 2005: 1-5 - [c41]Cliff B. Jones:
Reasoning About Partial Functions in the Formal Development of Programs. AVoCS 2005: 3-25 - [c40]Cliff B. Jones:
An Approach to Splitting Atoms Safely: Extended Abstract. MFPS 2005: 43-60 - [e9]Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders:
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2 [contents] - 2004
- [j25]Cliff B. Jones, John Cooke:
Editorial. Formal Aspects Comput. 16(1): 1- (2004) - [j24]Cliff B. Jones, D. J. Cooke, Christiane Notarmarco:
Online First Publication. Formal Aspects Comput. 16(1): 4- (2004) - [j23]Cliff B. Jones, Michael R. Hansen:
Editorial. Formal Aspects Comput. 16(2): 95- (2004) - [e8]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity in System Design and Execution, 25.04. - 30.04.2004. Dagstuhl Seminar Proceedings 04181, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - [i2]Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues:
The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution 2004 - 2003
- [j22]Cliff B. Jones:
The Early Search for Tractable Ways of Reasoning about Programs. IEEE Ann. Hist. Comput. 25(2): 26-49 (2003) - [j21]Cliff B. Jones:
Operational semantics: Concepts and their expression. Inf. Process. Lett. 88(1-2): 27-32 (2003) - [c39]Ian J. Hayes, Michael A. Jackson, Cliff B. Jones:
Determining the Specification of a Control System from That of Its Environment. FME 2003: 154-169 - 2002
- [j20]Cliff B. Jones:
Editorial. Formal Aspects Comput. 14(2): 91 (2002) - [c38]Cliff B. Jones, Alexander B. Romanovsky, Ian Welch:
A Structured Approach to Handling On-Line Interface Upgrades. COMPSAC 2002: 1000-1005 - [c37]Cliff B. Jones, Panayiotis Periorellis, Alexander B. Romanovsky, Ian Welch:
Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. FIDJI 2002: 73-86 - [c36]John E. Dobson, Cliff B. Jones, Rob Procter, Mark Rouncefield, Robin Williams:
Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems. SAC 2002: 704-705 - [c35]Cliff B. Jones:
A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST 2002: 191-206 - 2001
- [j19]M. Lonergan, Cliff B. Jones:
An Iterative Displacement Method for Conflict Resolution in Map Generalization. Algorithmica 30(2): 287-301 (2001) - [j18]Cliff B. Jones:
The Transition from VDL to VDM. J. Univers. Comput. Sci. 7(8): 631-640 (2001) - [c34]Cliff B. Jones:
Thinking Tools for the Future of Computing Science. Informatics 2001: 112-130 - 2000
- [j17]Cliff B. Jones:
Editorial. Formal Aspects Comput. 12(6): 417 (2000) - [c33]Pierre Collette, Cliff B. Jones:
Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Proof, Language, and Interaction 2000: 277-308 - [c32]Mohammad Reza Sirouspour, Simon P. DiMaio, Septimiu E. Salcudean, Purang Abolmaesumi, Cliff B. Jones:
Haptic Interface Control - Design Issues and Experiments with a Planar Device. ICRA 2000: 789-794 - [c31]Cliff B. Jones:
Formal Methods and Dependability. MPC 2000: 140-143 - [c30]Cliff B. Jones:
Dependability of Computer-Based Systems. SBES 2000: 16-20
1990 – 1999
- 1999
- [c29]Cliff B. Jones:
Scientific Decisions which Characterize VDM. World Congress on Formal Methods 1999: 28-47 - 1998
- [c28]Cliff B. Jones:
Some Mistakes I Have and What I Have Learned from Them. FASE 1998: 7-20 - [p2]John S. Fitzgerald, Cliff B. Jones:
Proof in the Analysis of a Model of a Tracking System. Proof in VDM 1998: 1-29 - 1997
- [c27]Cliff B. Jones:
Whither Formal Methods: A Plea to Investigate New Applications. ICFEM 1997: 5- - [e7]John S. Fitzgerald, Cliff B. Jones, Peter Lucas:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings. Lecture Notes in Computer Science 1313, Springer 1997, ISBN 3-540-63533-5 [contents] - 1996
- [j16]Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave:
An Invitation to Formal Methods. Computer 29(4): 16-30 (1996) - [j15]Cliff B. Jones:
Formal Methods Light. ACM Comput. Surv. 28(4es): 121 (1996) - [j14]Cliff B. Jones:
Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods Syst. Des. 8(2): 105-122 (1996) - [c26]Cliff B. Jones:
Some Practical Problems and Their Influence on Semantics. ESOP 1996: 1-17 - [e6]Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek:
Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995). Kluwer Academic Publishers 1996, ISBN 0-7923-9770-3 [contents] - 1995
- [j13]Cliff B. Jones:
Partial Functions and Logics: A Warning. Inf. Process. Lett. 54(2): 65-67 (1995) - [c25]Steve J. Hodges, Cliff B. Jones:
Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics. Object Orientation with Parallelism and Persistence 1995: 1-22 - [c24]Cliff B. Jones:
Granularity and the development of concurrent programs. MFPS 1995: 302-306 - [c23]Cliff B. Jones:
Fixing the semantics of some concurrent object-oriented concepts. MFPS 1995: 307-312 - 1994
- [j12]Cliff B. Jones, Cornelis A. Middelburg:
A Typed Logic of Partial Functions Reconstructed Classically. Acta Informatica 31(5): 399-430 (1994) - [j11]Ian J. Hayes, Cliff B. Jones, John E. Nicholls:
Understanding the differences between VDM and Z. ACM SIGSOFT Softw. Eng. Notes 19(3): 75-81 (1994) - 1993
- [c22]Cliff B. Jones:
A pi-Calculus Semantics for an Object-Based Design Notation. CONCUR 1993: 158-172 - [c21]Cliff B. Jones:
Reasoning about Interference in an Object-Based Design Method. FME 1993: 1-18 - [c20]Cliff B. Jones:
Constraining Inference in an Object-Based Design Model. TAPSOFT 1993: 136-150 - 1992
- [e5]Cliff B. Jones, Roger C. Shaw, B. Tim Denvir:
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, Springer London 1992, ISBN 978-3-540-19752-2 [contents] - 1991
- [b5]Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore:
Mural - a formal development support system. Springer 1991, ISBN 3-540-19651-X, pp. I-XIII, 1-421 - [b4]Clifford B. Jones:
Systematic software development using VDM (2. ed.). Prentice Hall International Series in Computer Science, Prentice Hall 1991, ISBN 978-0-13-880733-7, pp. I-XIV, 1-333 - 1990
- [c19]John S. Fitzgerald, Cliff B. Jones:
Modularizing the Formal Description of a Database System. VDM Europe 1990: 189-210 - [c18]Cliff B. Jones:
Interference Revisited. Z User Workshop 1990: 58-73 - [e4]Manfred Broy, Cliff B. Jones:
Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. North-Holland 1990, ISBN 0-444-88545-5 [contents]
1980 – 1989
- 1989
- [c17]Cliff B. Jones:
Position Statement for the Panel on Foundations of Software Engineering. IFIP Congress 1989: 955 - 1988
- [j10]Cliff B. Jones:
Theorem proving and software engineering. Softw. Eng. J. 3(1) (1988) - [c16]Cliff B. Jones, Peter A. Lindsay:
A Support System for Formal Reasoning: Requirements and Status. VDM Europe 1988: 139-152 - [c15]Cliff B. Jones, Richard C. Moore:
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant. VDM Europe 1988: 337-375 - 1987
- [c14]Cliff B. Jones:
VDM Proof Obligations and their Justification. VDM Europe 1987: 260-286 - [e3]Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold:
VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252, Springer 1987, ISBN 3-540-17654-3 [contents] - 1986
- [b3]Clifford B. Jones:
Systematic software development using VDM. Prentice Hall International Series in Computer Science, Prentice Hall 1986, ISBN 978-0-13-880725-2, pp. I-XVI, 1-300 - [c13]Cliff B. Jones:
Software Development Based on Formal Methods. System Development and Ada 1986: 153-172 - 1985
- [c12]Cliff B. Jones:
The Role of Proof Obligations in Software Design. TAPSOFT, Vol.2 1985: 27-41 - [i1]Cliff B. Jones, T. N. Nipkow, Mario Wolczko:
MDB: A Graph-Like Persistent Database. Data Types and Persistence (Appin), Informal Proceedings 1985: 25-34 - 1984
- [j9]Howard Barringer, J. H. Cheng, Cliff B. Jones:
A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251-269 (1984) - [j8]F. Lockwood Morris, Cliff B. Jones:
An Early Program Proof by Alan Turing. IEEE Ann. Hist. Comput. 6(2): 139-143 (1984) - [j7]Cliff B. Jones:
A Significance Rule for Multiple-Precision Arithmetic. ACM Trans. Math. Softw. 10(1): 97-107 (1984) - [c11]Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas:
On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155 - [e2]Cliff B. Jones:
Programming Languages and Their Definition - Hans Bekic (1936-1982). Lecture Notes in Computer Science 177, Springer 1984, ISBN 3-540-13378-X [contents] - 1983
- [j6]Cliff B. Jones:
Tentative Steps Toward a Development Method for Interfering Programs. ACM Trans. Program. Lang. Syst. 5(4): 596-619 (1983) - [c10]Cliff B. Jones:
Specification and Design of (Parallel) Programs. IFIP Congress 1983: 321-332 - 1981
- [b2]Cliff B. Jones:
Developing methods for computer programs including a notion of interference. University of Oxford, UK, 1981 - [j5]Cliff B. Jones:
An efficient coding system for long source sequences. IEEE Trans. Inf. Theory 27(3): 280-291 (1981) - [c9]Cliff B. Jones:
Specification as a Design Base (Extended Abstract). ECI 1981: 103-105 - 1980
- [b1]Clifford B. Jones:
Software development - a rigorous approach. Prentice Hall international series in computer science, Prentice Hall 1980, ISBN 978-0-13-821884-3, pp. 1-382 - [c8]Cliff B. Jones:
Towards More Formal Specifictations. Software Engineering 1980: 19-45
1970 – 1979
- 1979
- [j4]Cliff B. Jones:
Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Informatica 11: 119-137 (1979) - [c7]Cliff B. Jones:
Models of Programming Language Concepts. Abstract Software Specifications 1979: 100-143 - 1978
- [c6]Cliff B. Jones:
The META-Language: A Reference Manual. The Vienna Development Method: The Meta-Language 1978: 218-277 - [c5]Cliff B. Jones:
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. The Vienna Development Method: The Meta-Language 1978: 278-304 - [c4]Wolfgang Henhapl, Cliff B. Jones:
A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336 - [e1]Dines Bjørner, Cliff B. Jones:
The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer 1978, ISBN 3-540-08766-4 [contents] - 1977
- [c3]Cliff B. Jones:
Program Specifications and Formal Development. International Computing Symposium 1977: 537-553 - 1974
- [c2]Cliff B. Jones:
Formal Definition in Program Development. Programming Methodology 1974: 387-443 - 1972
- [c1]Cliff B. Jones:
Formal development of correct algorithms: An example based on earley's recogniser. Proving Assertions About Programs 1972: 150-169 - 1971
- [j3]Cliff B. Jones:
A New Approach to the 'Hidden Line' Problem. Comput. J. 14(3): 232-237 (1971) - [j2]Wolfgang Henhapl, Cliff B. Jones:
A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971) - [p1]Cliff B. Jones, P. Lucas:
Proving correctness of implementation techniques. Symposium on Semantics of Algorithmic Languages 1971: 178-211
1960 – 1969
- 1965
- [j1]Cliff B. Jones:
A special-purpose compiler. Comput. J. 8(2): 109-112 (1965)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
