On the public citation graph
Laws of data refinement
0 signed · 72 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-59412-0_24openalex-snapshot
Proof of Correctness of Data Representations
inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferredcites →https://doi.org/10.1016/0011-684x(86)90240-6openalex-snapshot
Systematic software development using VDM
inferredcites →https://doi.org/10.1016/0020-0190(87)90224-9openalex-snapshot
Prespecification in data refinement
inferredcites →https://doi.org/10.1016/0020-0190(88)90147-0openalex-snapshot
Data refinement by miracles
inferredcites →https://doi.org/10.1016/0167-6423(87)90011-6openalex-snapshot
A theoretical basis for stepwise refinement and the programming calculus
inferredcites →https://doi.org/10.2140/pjm.1955.5.285openalex-snapshot
A lattice-theoretical fixpoint theorem and its applications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11828563_15openalex-snapshot
Omega Algebra, Demonic Refinement Algebra and Commands
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_19openalex-snapshot
Performing Algorithmic Refinement before Data Refinement in B
inferred← citeshttps://doi.org/10.1007/3-540-48092-7_12openalex-snapshot
Compilation and Synthesis for Real-Time Embedded Controllers
inferred← citeshttps://doi.org/10.1007/3-540-52513-0_18openalex-snapshot
Refinement of state-based concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_60openalex-snapshot
Refinement calculus, part I: Sequential nondeterministic programs
inferred← citeshttps://doi.org/10.1007/3-540-56625-2_10openalex-snapshot
An algebraic construction of predicate transformers
inferred← citeshttps://doi.org/10.1007/3-540-61550-4_159openalex-snapshot
Simulation of specification statements in Hoare logic
inferred← citeshttps://doi.org/10.1007/978-0-387-21798-7_13openalex-snapshot
Abstraction dependencies
inferred← citeshttps://doi.org/10.1007/978-0-387-35358-6_14openalex-snapshot
An extension of the program derivation format
inferred← citeshttps://doi.org/10.1007/978-1-4471-3240-0_6openalex-snapshot
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement
inferred← citeshttps://doi.org/10.1007/978-1-4471-3240-0_7openalex-snapshot
Program Refinement by Theorem Prover
inferred← citeshttps://doi.org/10.1007/978-1-4471-3273-8_7openalex-snapshot
Data Refinement by Calculation
inferred← citeshttps://doi.org/10.1007/978-1-4471-3273-8_8openalex-snapshot
A Single Complete Rule for Data Refinement
inferred← citeshttps://doi.org/10.1007/978-1-4471-3550-0_11openalex-snapshot
A Model of the Refinement Process
inferred← citeshttps://doi.org/10.1007/978-1-4471-3756-6_5openalex-snapshot
Assertional Data Reification Proofs: Survey and Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-61455-2_13openalex-snapshot
Data refinement and the transform
inferred← citeshttps://doi.org/10.1007/978-3-642-77572-7_11openalex-snapshot
Lectures on Data Refinement
inferred← citeshttps://doi.org/10.1007/978-3-662-02880-3_2openalex-snapshot
Refinement Calculus, Lattices and Higher Order Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-02880-3_3openalex-snapshot
Refinement of Parallel and Reactive Programs
inferred← citeshttps://doi.org/10.1007/978-3-662-02880-3_4openalex-snapshot
Data Refinement and the Transform
inferred← citeshttps://doi.org/10.1007/bf01209623openalex-snapshot
Program refinement in fair transition systems
inferred← citeshttps://doi.org/10.1007/bf01210999openalex-snapshot
Data refinement, call by value and higher order programs
inferred← citeshttps://doi.org/10.1007/bf01381718openalex-snapshot
Derivation of efficient parallel programs: An example from genetic sequence analysis
inferred← citeshttps://doi.org/10.1007/bf01383984openalex-snapshot
Mechanizing some advanced refinement concepts
inferred← citeshttps://doi.org/10.1007/bfb0027291openalex-snapshot
An approach to the design of distributed systems with B AMN
inferred← citeshttps://doi.org/10.1007/s00165-012-0239-2openalex-snapshot
External and internal choice with event groups in Event-B
inferred← citeshttps://doi.org/10.1007/s001650070008openalex-snapshot
Encoding, Decoding and Data Refinement
inferred← citeshttps://doi.org/10.1007/s002360050148openalex-snapshot
Fusion and simultaneous execution in the refinement calculus
inferred← citeshttps://doi.org/10.1016/0020-0190(90)90157-sopenalex-snapshot
Some proofs of data refinement
inferred← citeshttps://doi.org/10.1016/0167-6423(90)90024-8openalex-snapshot
Types and invariants in the refinement calculus
inferred← citeshttps://doi.org/10.1016/0167-6423(94)90006-xopenalex-snapshot
An algebraic construction of predicate transformers
inferred← citeshttps://doi.org/10.1016/0167-6423(96)00006-8openalex-snapshot
Supporting module reuse in refinement
inferred← citeshttps://doi.org/10.1016/0167-6423(96)81173-7openalex-snapshot
Stepwise refinement of communicating systems
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90029-2openalex-snapshot
Data refinement of predicate transformers
inferred← citeshttps://doi.org/10.1016/b978-0-444-89880-7.50026-7openalex-snapshot
Mechanising some Advanced Refinement Concepts
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.02.016openalex-snapshot
Trace-based Derivation of a Lock-Free Queue Algorithm
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.11.017openalex-snapshot
Proving Reachability in B using Substitution Refinement
inferred← citeshttps://doi.org/10.1016/j.ins.2010.06.024openalex-snapshot
Formal behavior modeling and effective automatic refinement
inferred← citeshttps://doi.org/10.1016/j.scico.2017.05.010openalex-snapshot
Derivation of algorithmic control structures in Event-B refinement
inferred← citeshttps://doi.org/10.1016/s0020-0190(00)00206-4openalex-snapshot
Model-based specification
inferred← citeshttps://doi.org/10.1016/s0167-6423(97)00015-4openalex-snapshot
An inconsistency in procedures, parameters, and substitution in the refinement calculus
inferred← citeshttps://doi.org/10.1016/s0167-6423(98)00016-1openalex-snapshot
Calculational derivation of pointer algorithms from tree operations
inferred← citeshttps://doi.org/10.1093/comjnl/35.5.441openalex-snapshot
The Rudiments of Algorithm Refinement
inferred← citeshttps://doi.org/10.1093/comjnl/39.8.701openalex-snapshot
A Theory of Prioritizing Composition
inferred← citeshttps://doi.org/10.1109/32.277576openalex-snapshot
Modular verification of data abstractions with shared realizations
inferred← citeshttps://doi.org/10.1109/32.491647openalex-snapshot
Reasoning about places, times, and actions in the presence of mobility
inferred← citeshttps://doi.org/10.1109/32.605759openalex-snapshot
Software reuse by specialization of generic procedures through views
inferred← citeshttps://doi.org/10.1109/gtse.2015.14openalex-snapshot
The Unending Quest for Valid, Useful Software Engineering Theories
inferred← citeshttps://doi.org/10.1109/iceie.2010.5559891openalex-snapshot
Derivation of Z functional input/output refinement proof rules
inferred← citeshttps://doi.org/10.1109/ipdps.2002.1016623openalex-snapshot
Formal specification and design of mobile systems
inferred← citeshttps://doi.org/10.1109/jcit.1990.128282openalex-snapshot
Superposition and fairness in reactive system refinement
inferred← citeshttps://doi.org/10.1109/snpd.2007.406openalex-snapshot
Web Marine Spatial Information Service Based on Electronic Nautical Charts
inferred← citeshttps://doi.org/10.1145/201024.201026openalex-snapshot
Formal specification and design of a message router
inferred← citeshttps://doi.org/10.1145/2187671.2187678openalex-snapshot
Behavioral interface specification languages
inferred← citeshttps://doi.org/10.1145/570886.570888openalex-snapshot
Data abstraction and information hiding
inferred← citeshttps://doi.org/10.14264/106784openalex-snapshot
Towards an object-oriented refinement calculus
inferred← citeshttps://doi.org/10.20381/ruor-16472openalex-snapshot
A relational basis for program construction by parts.
inferred← citeshttps://doi.org/10.5555/2820167.2820179openalex-snapshot
The unending quest for valid, useful software engineering theories
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.