On the public citation graph

Deductive program verification (a practitioner's commentary)

https://doi.org/10.1007/bf02454224
0 signed · 59 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-48354-7_5openalex-snapshot
Software Engineering Economics
inferredcites →https://doi.org/10.1007/978-3-642-68130-1openalex-snapshot
Introduction to Number Theory
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_11openalex-snapshot
Outline of a Paradigm Change in Software Engineering
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_7openalex-snapshot
Mathematics of Programming
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_9openalex-snapshot
Formalization in Program Development
inferredcites →https://doi.org/10.1007/bf01934408openalex-snapshot
Formalization in program development
inferredcites →https://doi.org/10.1017/cbo9781139171472openalex-snapshot
Proofs and Refutations
inferredcites →https://doi.org/10.1080/00029890.1945.11991492openalex-snapshot
Geometry and Empirical Science
inferredcites →https://doi.org/10.1080/07399018708962854openalex-snapshot
Brittle Software: A Programming Paradox
inferredcites →https://doi.org/10.1090/notiopenalex-snapshot
Notices of the American Mathematical Society
inferredcites →https://doi.org/10.1109/32.41328openalex-snapshot
Trace analysis for conformance and arbitration testing
inferredcites →https://doi.org/10.1109/32.41339openalex-snapshot
The consistent comparison problem in N-version software
inferredcites →https://doi.org/10.1109/mc.1987.1663417openalex-snapshot
Source Code
inferredcites →https://doi.org/10.1109/ms.1984.234042openalex-snapshot
Programming: Sorcery or Science?
inferredcites →https://doi.org/10.1109/tc.1982.1676076openalex-snapshot
Computer Representation of Real Numbers
inferredcites →https://doi.org/10.1109/tse.1986.6312940openalex-snapshot
A rational design process: How and why to fake it
inferredcites →https://doi.org/10.1111/j.1468-3156.1989.tb00547.xopenalex-snapshot
ANOTHER POINT OF VIEW
inferredcites →https://doi.org/10.1145/214956.214961openalex-snapshot
Software aspects of strategic defense systems
inferredcites →https://doi.org/10.1145/27651.27653openalex-snapshot
Laws of programming
inferredcites →https://doi.org/10.1145/30401.30406openalex-snapshot
Corrigenda: an empirical validation of software cost estimation models
inferredcites →https://doi.org/10.1145/30401.30407openalex-snapshot
Corrigenda: laws of programming
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/358527.358543openalex-snapshot
Information systems and organizational change
inferredcites →https://doi.org/10.1145/359104.359106openalex-snapshot
Social processes and proofs of theorems and programs
inferredcites →https://doi.org/10.1145/359131.359133openalex-snapshot
Beyond programming languages
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/379486.379512openalex-snapshot
The limits of correctness
inferredcites →https://doi.org/10.1145/390016.808444openalex-snapshot
A new approach to program testing
inferredcites →https://doi.org/10.1145/42411.315802openalex-snapshot
President's letter
inferredcites →https://doi.org/10.1145/43846.43851openalex-snapshot
A paradigm change in software engineering
inferredcites →https://doi.org/10.1145/48529.48530openalex-snapshot
Program verification: the very idea
inferredcites →https://doi.org/10.1145/62138.62152openalex-snapshot
Banquet speech - objects and other subjects
inferredcites →https://doi.org/10.1145/62139.62152openalex-snapshot
Banquet speech - objects and other subjects
inferredcites →https://doi.org/10.1145/63485.315944openalex-snapshot
ACM Forum
inferredcites →https://doi.org/10.1145/75199.75235openalex-snapshot
Software design issues: a very large information systems perspective
inferredcites →https://doi.org/10.1145/75200.75235openalex-snapshot
Software design issues: a very large information systems perspective
inferredcites →https://doi.org/10.1145/800027.808444openalex-snapshot
A new approach to program testing
inferredcites →https://doi.org/10.1145/988164.988172openalex-snapshot
Values and objects in programming languages
inferredcites →https://doi.org/10.1145/99569.99827openalex-snapshot
Formal methods in mathematics
inferredcites →https://doi.org/10.1145/99571.99827openalex-snapshot
Formal methods in mathematics
inferredcites →https://doi.org/10.2307/1859059openalex-snapshot
The Computer: From Pascal to von Neumann
inferredcites →https://doi.org/10.2307/2224269openalex-snapshot
Number; the Language of Science.
inferredcites →https://doi.org/10.2307/2391948openalex-snapshot
The Psychology of Computer Programming.
inferredcites →https://doi.org/10.2307/3615587openalex-snapshot
The Computer from Pascal to von Neumann
inferredcites →https://doi.org/10.26153/tsw/52925openalex-snapshot
On representational abstraction
inferredcites →https://doi.org/10.5860/choice.36-4535openalex-snapshot
The psychology of computer programming
inferredcites →https://doi.org/10.5860/choice.46-6857openalex-snapshot
Introduction to number theory
inferredcites →https://doi.org/10.70000/cj.2007.14.426openalex-snapshot
Software engineering economics

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-1-4471-3003-1_17openalex-snapshot
Where Do Specifications Come From?
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_19openalex-snapshot
Static Analysis for Proactive Security
inferred← citeshttps://doi.org/10.1007/978-94-010-0973-7_10openalex-snapshot
Philosophy and Computer Science
inferred← citeshttps://doi.org/10.1007/978-94-010-0973-7_11openalex-snapshot
Computer Reliability and Public Policy: Limits of Knowledge of Computer-Based Systems
inferred← citeshttps://doi.org/10.1007/bf00974746openalex-snapshot
The specification of ?specification?
inferred← citeshttps://doi.org/10.1017/s0265052500003538openalex-snapshot
Computer Reliability and Public Policy: Limits of Knowledge of Computer-Based Systems
inferred← citeshttps://doi.org/10.1080/09528130500283998openalex-snapshot
Implementation is semantic interpretation: further thoughts
inferred← citeshttps://doi.org/10.1080/14626269409408775openalex-snapshot
Software Specification
inferred← citeshttps://doi.org/10.1111/j.1468-0394.1994.tb00323.xopenalex-snapshot
Neural computing for software reliability*
inferred← citeshttps://doi.org/10.18419/opus-5392openalex-snapshot
Explaining simulated phenomena : a defense of the epistemic power of computer simulations
inferred← citeshttps://doi.org/10.5840/teachphil200528443openalex-snapshot
Philosophy of Computer Science
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.