On the public citation graph
An experiment in structured programming
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.
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-1-4612-6315-9_10openalex-snapshot
Proof of a Program: FIND
inferredcites →https://doi.org/10.1090/psapm/019/0235771openalex-snapshot
Assigning meanings to programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380080402openalex-snapshot
An evaluation of the effectiveness of symbolic testing
inferred← citeshttps://doi.org/10.1002/spe.4380090304openalex-snapshot
A formalization and explication of the Michael Jackson method of program design
inferred← citeshttps://doi.org/10.1002/spe.4380100902openalex-snapshot
An experiment in parallel program design
inferred← citeshttps://doi.org/10.1002/spe.4380150102openalex-snapshot
Program development by inductive stepwise refinement
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_125openalex-snapshot
Finite state testing of structured programs
inferred← citeshttps://doi.org/10.1007/3-540-07131-8_24openalex-snapshot
Fehleranalyse und Fehlerursachen in Systemprogrammen
inferred← citeshttps://doi.org/10.1007/3-540-08934-9_79openalex-snapshot
Methods and tools for information systems design
inferred← citeshttps://doi.org/10.1007/978-1-4302-0358-2_11openalex-snapshot
Language-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-1-84882-555-0_10openalex-snapshot
The Logic of Correctness in Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-67881-3_4openalex-snapshot
Abstraction and Refinement in RDM
inferred← citeshttps://doi.org/10.1007/978-3-662-11334-9_10openalex-snapshot
The “Private” Relation of the Student with Systematic Programming and Validation
inferred← citeshttps://doi.org/10.1007/bf00260922openalex-snapshot
The algebraic specification of abstract data types
inferred← citeshttps://doi.org/10.1007/bf01933117openalex-snapshot
The case for structured programming
inferred← citeshttps://doi.org/10.1007/bfb0029360openalex-snapshot
Analyse de quelques pannes d'un systeme d'exploitation
inferred← citeshttps://doi.org/10.1016/0020-0190(83)90025-xopenalex-snapshot
Stable marriages by coroutines
inferred← citeshttps://doi.org/10.1016/0096-0551(87)90008-7openalex-snapshot
Logical programming for the telegram analysis problem
inferred← citeshttps://doi.org/10.1016/j.infsof.2004.03.001openalex-snapshot
Automated rapid prototyping of TUG specifications using Prolog
inferred← citeshttps://doi.org/10.1109/cmpsac.1996.544172openalex-snapshot
Incremental elicitation and formalization of user requirements through rapid prototyping via software transformations
inferred← citeshttps://doi.org/10.1109/tse.1976.233797openalex-snapshot
On the Design and Development of Program Families
inferred← citeshttps://doi.org/10.1109/tse.1976.233815openalex-snapshot
Observations of Fallibility in Applications of Modern Programming Methodologies
inferred← citeshttps://doi.org/10.1109/tse.1978.231514openalex-snapshot
Theoretical and Empirical Studies of Program Testing
inferred← citeshttps://doi.org/10.1109/tse.1979.234163openalex-snapshot
Measuring Improvements in Program Clarity
inferred← citeshttps://doi.org/10.1109/tse.1982.234771openalex-snapshot
Using Annotations to Make Recursion Equations Behave
inferred← citeshttps://doi.org/10.1145/1479992.1480018openalex-snapshot
A design methodology for reliable software systems
inferred← citeshttps://doi.org/10.1145/1499949.1500087openalex-snapshot
Experimental testing in programming languages, stylistic considerations and design techniques
inferred← citeshttps://doi.org/10.1145/1795396.1795454openalex-snapshot
Specifications of computer programs using Hoare tree formalism
inferred← citeshttps://doi.org/10.1145/356635.356640openalex-snapshot
Structured Programming with go to Statements
inferred← citeshttps://doi.org/10.1145/357153.357154openalex-snapshot
A System for Assisting Program Transformation
inferred← citeshttps://doi.org/10.1145/361219.361222openalex-snapshot
A genealogy of control structures
inferred← citeshttps://doi.org/10.1145/382175.803430openalex-snapshot
An experiment with an introductory course in computer science
inferred← citeshttps://doi.org/10.1145/382175.803439openalex-snapshot
Applications programming course using guided design
inferred← citeshttps://doi.org/10.1145/382196.382997openalex-snapshot
Structured programming, programming teaching and the language Pascal
inferred← citeshttps://doi.org/10.1145/390016.808455openalex-snapshot
An analysis of errors and their causes in system programs
inferred← citeshttps://doi.org/10.1145/567446.567468openalex-snapshot
Theoretical and empirical studies on using program mutation to test the functional correctness of programs
inferred← citeshttps://doi.org/10.1145/800010.808080openalex-snapshot
New directions in teaching the fundamentals of computer science --- discrete structures and computational analysis
inferred← citeshttps://doi.org/10.1145/800027.808455openalex-snapshot
An analysis of errors and their causes in system programs
inferred← citeshttps://doi.org/10.1145/800106.803430openalex-snapshot
An experiment with an introductory course in computer science
inferred← citeshttps://doi.org/10.1145/800106.803439openalex-snapshot
Applications programming course using guided design
inferred← citeshttps://doi.org/10.1145/800284.811141openalex-snapshot
A course in effective programming
inferred← citeshttps://doi.org/10.1145/953064.811141openalex-snapshot
A course in effective programming
inferred← citeshttps://doi.org/10.1145/953224.953226openalex-snapshot
Structured programming, programming teaching and the language Pascal
inferred← citeshttps://doi.org/10.1145/953863.953868openalex-snapshot
Further comments on "a view of coroutines"
inferred← citeshttps://doi.org/10.1145/954604.954605openalex-snapshot
Structured programming constructs for concurrency in program optimisation
inferred← citeshttps://doi.org/10.1145/990555.990631openalex-snapshot
A course in programming and practice
inferred← citeshttps://doi.org/10.5555/800054.802006openalex-snapshot
Functional programming and logical programming for the telegram analysis problem
inferred← citeshttps://doi.org/10.5555/800099.803223openalex-snapshot
Theoretical and empirical studies of program testing
inferred← citeshttps://doi.org/10.5555/800253.807690openalex-snapshot
Formal specification and automatic programming
inferred← citeshttps://doi.org/10.5555/800254.807773openalex-snapshot
Data-driven implementation of data flow diagrams
inferred← citeshttps://doi.org/10.6028/nbs.tn.842openalex-snapshot
Concepts in quality software design
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.