On the public citation graph

A reification calculus for model-oriented software specification

0 signed · 37 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/3-540-51803-7_33openalex-snapshot

Abstract object types: A temporal perspective

inferredcites →https://doi.org/10.1007/978-1-4612-4962-7openalex-snapshot

Algebraic Approaches to Program Semantics

inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot

Categories for the Working Mathematician

inferredcites →https://doi.org/10.1007/978-3-642-61807-9openalex-snapshot

Algorithmic Language and Program Development

inferredcites →https://doi.org/10.1007/bf00260922openalex-snapshot

The algebraic specification of abstract data types

inferredcites →https://doi.org/10.1007/bf00263649openalex-snapshot

Non-deterministic data types: models and implementations

inferredcites →https://doi.org/10.1016/0020-0190(87)90224-9openalex-snapshot

Prespecification in data refinement

inferredcites →https://doi.org/10.1016/0022-0000(79)90011-4openalex-snapshot

Final algebra semantics and data type extensions

inferredcites →https://doi.org/10.1145/321992.321996openalex-snapshot

A Transformation System for Developing Recursive Programs

inferredcites →https://doi.org/10.1145/359576.359579openalex-snapshot

Can programming be liberated from the von Neumann style?

inferredcites →https://doi.org/10.21236/ada239419openalex-snapshot

Mathematical Theory of Computation

inferredcites →https://doi.org/10.25405/ncl.34123362openalex-snapshot

Software Development: A Rigorous Approach

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11526841_27openalex-snapshot

Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion

inferred← citeshttps://doi.org/10.1007/11561163_2openalex-snapshot

A Perspective on Component Refinement

inferred← citeshttps://doi.org/10.1007/11813040_20openalex-snapshot

Type-Safe Two-Level Data Transformation

inferred← citeshttps://doi.org/10.1007/978-1-4471-3550-0_8openalex-snapshot

Software Reification using the SETS Calculus

inferred← citeshttps://doi.org/10.1007/978-3-319-15940-9_6openalex-snapshot

Spreadsheet Engineering

inferred← citeshttps://doi.org/10.1007/978-3-540-88643-3_4openalex-snapshot

Transforming Data by Calculation

inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_14openalex-snapshot

Type-Safe Evolution of Spreadsheets

inferred← citeshttps://doi.org/10.1007/bfb0000496openalex-snapshot

CAMILA: Prototyping and refinement of constructive specifications

inferred← citeshttps://doi.org/10.1007/bfb0019997openalex-snapshot

Tutorial lecture notes on the Irish School of the VDM

inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.019openalex-snapshot

Strongly Typed Rewriting For Coupled Software Transformation

inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.090openalex-snapshot

Coupled Transformation of Schemas, Documents, Queries, and Constraints

inferred← citeshttps://doi.org/10.1016/j.entcs.2012.11.008openalex-snapshot

Constraint-aware Schema Transformation

inferred← citeshttps://doi.org/10.1016/j.infsof.2012.12.007openalex-snapshot

Translation of Z specifications to executable code: Application to the database domain

inferred← citeshttps://doi.org/10.1016/j.tcs.2005.09.072openalex-snapshot

Components as coalgebras: The refinement dimension

inferred← citeshttps://doi.org/10.1016/j.tcs.2009.12.012openalex-snapshot

CSP is a retract of CCS

inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00274-0openalex-snapshot

Algebraic specification of documents

inferred← citeshttps://doi.org/10.1016/s0965-9978(98)00023-4openalex-snapshot

CAD tool extension for formal building description language

inferred← citeshttps://doi.org/10.1093/comjnl/35.5.451openalex-snapshot

The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal

inferred← citeshttps://doi.org/10.1109/csmr.2003.1192446openalex-snapshot

Formal program reversing by conditioned slicing

inferred← citeshttps://doi.org/10.1109/sefm.2004.1347517openalex-snapshot

On semantics and refinement of uml statecharts: a coalgebraic view

inferred← citeshttps://doi.org/10.1109/tase.2012.23openalex-snapshot

Categorical Reasoning about Meta-models

inferred← citeshttps://doi.org/10.1109/tse.2014.2361141openalex-snapshot

Embedding, Evolution, and Validation of Model-Driven Spreadsheets

inferred← citeshttps://doi.org/10.1109/vlhcc.2011.6070396openalex-snapshot

Embedding and evolution of spreadsheet models in spreadsheet systems

inferred← citeshttps://doi.org/10.1142/s0218194014500272openalex-snapshot

A Calculus for (Meta)Models and Transformations

inferred← citeshttps://doi.org/10.1145/1480945.1480972openalex-snapshot

From spreadsheets to relational databases and back

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.