Остановите войну!
for scientists:
default search action
Cliff B. Jones
- > Home > Persons > Cliff B. Jones
Publications
- 2024
- [j58]Cliff B. Jones:
Three Early Formal Approaches to the Verification of Concurrent Programs. Minds Mach. 34(1): 73-92 (2024) - 2021
- [p9]Cliff B. Jones:
List of Tony Hoare's Publications. Theories of Programming 2021: 395-410 - 2020
- [b7]Cliff B. Jones:
Understanding Programming Languages. Springer 2020, ISBN 978-3-030-59256-1, pp. 1-229 - 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 - 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 - 2015
- [j51]Cliff B. Jones:
In memoriam: Professor Heinz Zemanek (1920-2014). Formal Aspects Comput. 27(2): 237 (2015) - 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) - 2013
- [c54]Cliff B. Jones:
Expressiveness of Notations for Reasoning about Concurrency. ICECCS 2013: 1 - 2012
- [j43]Cliff B. Jones:
John McCarthy (1927-2011). Formal Aspects Comput. 24(3): 305-306 (2012) - [c52]Cliff B. Jones:
Abstraction as a Unifying Link for Formal Approaches to Concurrency. SEFM 2012: 1-15 - 2010
- [c51]Cliff B. Jones:
Abstractions Before Proofs. VERIFY@IJCAR 2010: 2 - [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 - 2008
- [j37]Cliff B. Jones:
Valediction. Formal Aspects Comput. 20(6): 561 (2008) - [c49]Cliff B. Jones:
Reflections on, and Predictions for, Support Systems for the Development of Programs. ASE 2008: 7-8 - 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 - 2006
- [p3]Cliff B. Jones:
The DIRC Project as the Context of this Book. Trust in Technology 2006: 217-221 - 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 - 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) - 2002
- [j20]Cliff B. Jones:
Editorial. Formal Aspects Comput. 14(2): 91 (2002) - [c35]Cliff B. Jones:
A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST 2002: 191-206 - 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) - [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 - 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 - 1997
- [c27]Cliff B. Jones:
Whither Formal Methods: A Plea to Investigate New Applications. ICFEM 1997: 5- - 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 - 1995
- [j13]Cliff B. Jones:
Partial Functions and Logics: A Warning. Inf. Process. Lett. 54(2): 65-67 (1995) - [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 - 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 - 1991
- [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
- [c18]Cliff B. Jones:
Interference Revisited. Z User Workshop 1990: 58-73 - 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) - 1987
- [c14]Cliff B. Jones:
VDM Proof Obligations and their Justification. VDM Europe 1987: 260-286 - 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 - 1984
- [j7]Cliff B. Jones:
A Significance Rule for Multiple-Precision Arithmetic. ACM Trans. Math. Softw. 10(1): 97-107 (1984) - [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 - 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 - 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) - 1965
- [j1]Cliff B. Jones:
A special-purpose compiler. Comput. J. 8(2): 109-112 (1965)
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 2024-04-21 18:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint