The DOI matches its Crossref record; 10 of the 10 references it cites were found in a registry or an index.
Formalization in program development
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“Ex post, the ambivalence that existed in the beginning tends to be cognitively minimized and the result is taken to be the truth (even if it did result from decisions that might just as well have been made otherwise), cf. [34].”
From AI for the Common Good?! Pitfalls, challenges, and ethics pen-testing (2019) · cites this paper as [34]
Citations
Cites
The Design and Analysis of Computer Algorithms
Aho, A. V., & Hopcroft, J. E. (1974) · CERN Document Server (European Organization for Nuclear Research) · Cited by 9,403
Revised report on the algorithmic language ALGOL 60
Backus, J. W., Bauer, F. L., Green, J., Katz, C., McCarthy, J., Perlis, A. J., Rutishauser, H., Samelson, K., Vauquois, B., Wegstein, J. H., et al. (1963) · Communications of the ACM · doi:10.1145/366193.366201 · Cited by 900
Software Development: A Rigorous Approach
Jones, C. B. (1980) · CERN Document Server (European Organization for Nuclear Research) · doi:10.25405/ncl.34123362 · Cited by 424
Concise survey of computer methods
Naur, P. (1974) · CERN Document Server (European Organization for Nuclear Research) · Cited by 99
Self-citationModular program construction using abstractions
Liskov, B. H. (1980) · Lecture notes in computer science · doi:10.1007/3-540-10007-5_43 · Cited by 18
Zemanek, H. (1980) · Lecture notes in computer science · doi:10.1007/3-540-10007-5_34 · Cited by 18
A formal definition of ALGOL 60 as described in the 1975 modified report
Henhapl, W., & Jones, C. B. (1978) · Lecture notes in computer science · doi:10.1007/3-540-08766-4_12 · Cited by 14
The meta-language: A reference manual
Jones, C. B. (1978) · Lecture notes in computer science · doi:10.1007/3-540-08766-4_10 · Cited by 14
More thoughts on specification and verification
Goguen, J. A. (1981) · ACM SIGSOFT Software Engineering Notes · doi:10.1145/1010832.1010845 · Cited by 12
A supplement to the ALGOL 60 Revised Report
Morgan, R. M. D. (1976) · The Computer Journal · doi:10.1093/comjnl/19.3.276 · Cited by 11
Research works printed but not linked: 6
- J. W. Backus,The syntax and semantics of the proposed international algebraic language of the Zürich ACM-GAMM conference, Proc. International Conf. on Information Processing, UNESCO, 1959, pp. 125–132.
- C. F. Gauss,Theorematis arithmetici — demonstratio nova, Commentationes Societatis Regiæ Scientiarum Gottingensis, Vol. 16, Göttingen, 1808;Werke, 1876, Bd. 2, pp. 1–8;English translation in D. E. Smith, A Source Book in Mathematics, Vol. 1, Dover, New York, 1959, pp. 112–118.
- B. Liskov and S. Zilles,An introduction to formal specifications of data abstractions, in R. T. Yeh (ed.),Current Trends in Programming Methodology, Vol. 1, Prentice-Hall, Englewood Cliffs, New Jersey, 1977, pp. 1–32.
- P. Naur,Control-record-driven processing, in R. T. Yeh (ed.), Current Trends in Programming Methodology, Vol. 1, Prentice-Hall, Englewood Cliffs, New Jersey, 1977, pp. 220–232.
- B. Russell,Mysticism and logic, Penguin, Harmondsworth, England, 1953.
- B. Russell,Introduction, in L. Wittgenstein, Tractatus logico-philosophicus, Routledge and Kegan Paul, London, 1922.
Cited by
Out of Scandinavia: Alternative Approaches to Software Design and System Development
Floyd, C., Mehl, W.-M., Resin, F.-M., Schmidt, G., & Wolf, G. (1989) · Human-Computer Interaction · doi:10.1207/s15327051hci0404_1 · Cited by 262
Outline of a Paradigm Change in Software Engineering
Floyd, C. (1993) · Studies in Cognitive Systems · doi:10.1007/978-94-011-1793-7_11 · Cited by 159
The early search for tractable ways of reasoning about programs
Jones, C. B. (2003) · IEEE Annals of the History of Computing · doi:10.1109/mahc.2003.1203057 · Cited by 103
Semantically extended dataflow diagrams: a formal specification tool
France, R. B. (1992) · IEEE Transactions on Software Engineering · doi:10.1109/32.129221 · Cited by 63
Computing versus human thinking
Naur, P. (2007) · Communications of the ACM · doi:10.1145/1188913.1188922 · Cited by 50
Self-citation
Metadata
- Authors
- Naur, P.
- Affiliations
- University of Copenhagen (DK)
- Corresponding author
- Naur, Peter
- Venue
- BIT
- Published
- 1982-12
- Volume
- 22
- Issue
- 4
- Pages
- 437-453
- ISSN
- 0006-3835 (ISSN-L)
- 1572-9125
- OpenAlex
- W4247279786
- Cited by
- 43
- References
- 10
- Citations by year
- 2025: 1 · 2024: 1 · 2019: 2 · 2018: 2 · 2014: 1 · 2013: 2
- FWCI
- 3.70
- Type
- journal article
- Language
- en
- Open access
- closed
- Licence
- www.springer.com/tdm (tdm)
- Locations
- BIT Numerical Mathematics (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Software › Logic, programming, and type systems
- Physical Sciences › Computer Science › Computer Science Applications › Teaching and Learning Programming
- Physical Sciences › Computer Science › Information Systems › Software Engineering Techniques and Practices
- Keywords
- formalization, program specification, program development, program correctness, formal methods, ALGOL 60, formalized description, specification style
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
