On the public citation graph
Proving programs correct: Some techniques and examples
0 signed · 36 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.
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.
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-99976-5_11openalex-snapshot
Computer Programs can be Proved Correct
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_2openalex-snapshot
Towards a Mathematical Science of Computation
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_3openalex-snapshot
Proof of Algorithms by General Snapshots
inferredcites →https://doi.org/10.1007/bf01933419openalex-snapshot
A constructive approach to the problem of program correctness
inferredcites →https://doi.org/10.1007/bf01933539openalex-snapshot
A proof of Hamblin's algorithm for translation of arithmetic expressions from infix to postfix form
inferredcites →https://doi.org/10.1007/bf01966091openalex-snapshot
Proof of algorithms by general snapshots
inferredcites →https://doi.org/10.1090/psapm/019/0235771openalex-snapshot
Assigning meanings to programs
inferredcites →https://doi.org/10.1090/psapm/019/0242403openalex-snapshot
Correctness of a compiler for arithmetic expressions
inferredcites →https://doi.org/10.1145/321607.321610openalex-snapshot
Computer Interval Arithmetic: Definition and Proof of Correct Implementation
inferredcites →https://doi.org/10.1145/362384.362507openalex-snapshot
Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification
inferredcites →https://doi.org/10.1145/363095.363143openalex-snapshot
The structure of the “THE”-multiprogramming system
inferredcites →https://doi.org/10.2307/2003396openalex-snapshot
Information Processing Language-V Manual
inferredcites →https://doi.org/10.2307/2283757openalex-snapshot
The Art of Computer Programming. Volume 1: Fundamental Algorithms.
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-84628-498-4_7openalex-snapshot
Computer and Internet Reliability
inferred← citeshttps://doi.org/10.1016/0020-0255(73)90033-9openalex-snapshot
The validity of return address schemes
inferred← citeshttps://doi.org/10.1016/0026-2714(82)90038-5openalex-snapshot
Software reliability - bibliography
inferred← citeshttps://doi.org/10.1016/0045-7906(84)90009-0openalex-snapshot
A new approach to program verification
inferred← citeshttps://doi.org/10.1016/b978-0-12-701750-1.50021-7openalex-snapshot
ANNOTATED REFERENCES
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50020-2openalex-snapshot
Methods and Logics for Proving Programs
inferred← citeshttps://doi.org/10.1016/j.cosrev.2008.02.003openalex-snapshot
A survey of state vectors
inferred← citeshttps://doi.org/10.1093/comjnl/15.2.130openalex-snapshot
Proof and Validation of Program Correctness
inferred← citeshttps://doi.org/10.1109/mahc.2003.1203057openalex-snapshot
The early search for tractable ways of reasoning about programs
inferred← citeshttps://doi.org/10.1109/t-c.1971.223170openalex-snapshot
On Proving Sequential Machine Designs
inferred← citeshttps://doi.org/10.1109/tse.1978.231481openalex-snapshot
An Analysis of Competing Software Reliability Models
inferred← citeshttps://doi.org/10.1145/1041596.1041597openalex-snapshot
Software testing and certification
inferred← citeshttps://doi.org/10.1145/362452.362512openalex-snapshot
Comment on London's certification of algorithms 245
inferred← citeshttps://doi.org/10.1145/800191.805652openalex-snapshot
Improving and refining programs by program manipulation
inferred← citeshttps://doi.org/10.1145/800235.807080openalex-snapshot
Correctness of a compiler for a Lisp subset
inferred← citeshttps://doi.org/10.1145/942578.807080openalex-snapshot
Correctness of a compiler for a Lisp subset
inferred← citeshttps://doi.org/10.1145/942580.807080openalex-snapshot
Correctness of a compiler for a Lisp subset
inferred← citeshttps://doi.org/10.1201/9781003132103-6openalex-snapshot
Computer and Internet Reliability
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.