On the public citation graph

Toward a classification approach to design

https://doi.org/10.1007/bfb0014308
0 signed · 50 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-11490-4_21openalex-snapshot
Parameter passing in algebraic specification languages
inferredcites →https://doi.org/10.1007/978-0-585-27330-3_2openalex-snapshot
Derivation of Parallel Sorting Algorithms
inferredcites →https://doi.org/10.1007/978-1-4612-4118-8_3openalex-snapshot
The Varieties of Programming Language
inferredcites →https://doi.org/10.1007/978-3-642-61284-8openalex-snapshot
Fundamentals of Algebraic Specification 2
inferredcites →https://doi.org/10.1007/978-3-642-61512-2openalex-snapshot
Specification and Transformation of Programs
inferredcites →https://doi.org/10.1007/b102256openalex-snapshot
Parallel Algorithm Derivation and Program Transformation
inferredcites →https://doi.org/10.1007/bf00260922openalex-snapshot
The algebraic specification of abstract data types
inferredcites →https://doi.org/10.1007/bf00283329openalex-snapshot
Toward formal development of programs from algebraic specifications: Implementations revisited
inferredcites →https://doi.org/10.1016/0004-3702(85)90083-9openalex-snapshot
Top-down synthesis of divide-and-conquer algorithms
inferredcites →https://doi.org/10.1016/0141-9331(87)90465-0openalex-snapshot
The specification of computer programs
inferredcites →https://doi.org/10.1016/0167-6423(90)90025-9openalex-snapshot
Algorithm theories and design tactics
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot
A Mathematical Introduction to Logic
inferredcites →https://doi.org/10.1016/s0747-7171(06)80006-4openalex-snapshot
Constructing specification morphisms
inferredcites →https://doi.org/10.1109/32.58788openalex-snapshot
KIDS: a semiautomatic program development system
inferredcites →https://doi.org/10.1145/321992.321997openalex-snapshot
Initial Algebra Semantics and Continuous Algebras
inferredcites →https://doi.org/10.1145/9758.10501openalex-snapshot
On the algebraic definition of programming languages
inferredcites →https://doi.org/10.1201/9780429246593openalex-snapshot
An Introduction to the Bootstrap
inferredcites →https://doi.org/10.2307/2322374openalex-snapshot
Combinatorial Optimization: Algorithms and Complexity.

What points at this work

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

inferred← citeshttps://doi.org/10.1006/jsco.1999.0348openalex-snapshot
An Abstract Formalization of Correct Schemas for Program Synthesis
inferred← citeshttps://doi.org/10.1007/11780274_17openalex-snapshot
Composition by Colimit and Formal Software Development
inferred← citeshttps://doi.org/10.1007/3-540-44584-6_5openalex-snapshot
Towards Semantics of Self-Adaptive Software
inferred← citeshttps://doi.org/10.1007/3-540-45241-9_16openalex-snapshot
Compiling High-Level Type Constructors in Constraint Programming
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_13openalex-snapshot
Achievements and Prospects of Program Synthesis
inferred← citeshttps://doi.org/10.1007/978-1-4615-1391-9_1openalex-snapshot
Designware: Software Development by Refinement
inferred← citeshttps://doi.org/10.1007/978-1-84882-772-1openalex-snapshot
The Design Guidelines Collaborative Framework
inferred← citeshttps://doi.org/10.1007/978-1-84882-772-1_1openalex-snapshot
State of the Art in the Field
inferred← citeshttps://doi.org/10.1007/978-3-540-25951-0_2openalex-snapshot
Synthesis of Programs in Computational Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_17openalex-snapshot
Software Development by Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_20openalex-snapshot
Generating Programs Plus Proofs by Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-71549-8_6openalex-snapshot
Agent Based Framework for Emergency Rescue and Assistance Planning
inferred← citeshttps://doi.org/10.1007/978-3-642-13321-3_20openalex-snapshot
Formal Derivation of Concurrent Garbage Collectors
inferred← citeshttps://doi.org/10.1007/978-94-010-0413-8_7openalex-snapshot
Naïve Computational Type Theory
inferred← citeshttps://doi.org/10.1007/bf02948733openalex-snapshot
An incremental approach to automatic algorithm design
inferred← citeshttps://doi.org/10.1007/s10515-006-5467-3openalex-snapshot
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80320-2openalex-snapshot
Design ware: Software Development by Refinement
inferred← citeshttps://doi.org/10.1023/a:1018924407841openalex-snapshot
A perspective of generative reuse
inferred← citeshttps://doi.org/10.1109/32.588522openalex-snapshot
EVA: a flexible programming method for evolving systems
inferred← citeshttps://doi.org/10.1109/apsec.2001.991502openalex-snapshot
Compilation of specifications
inferred← citeshttps://doi.org/10.1109/ase.1997.632826openalex-snapshot
Using KIV to specify and verify architectures of knowledge-based systems
inferred← citeshttps://doi.org/10.1109/ase.1997.632840openalex-snapshot
Declarative specification of software architectures
inferred← citeshttps://doi.org/10.1109/ase.1998.732672openalex-snapshot
Planware-domain-specific synthesis of high-performance schedulers
inferred← citeshttps://doi.org/10.1109/iccis.2008.4670838openalex-snapshot
MRPlanner: An agent-based MMRP constraint programming system
inferred← citeshttps://doi.org/10.1109/iri.2008.4583014openalex-snapshot
Coupling data understanding with software reuse
inferred← citeshttps://doi.org/10.1109/soli.2006.236277openalex-snapshot
DISPDESK: A Logistic Constraint Programming System for Construction Machinery
inferred← citeshttps://doi.org/10.1109/wpc.2005.13openalex-snapshot
Comprehension by derivation [software system comprehension]
inferred← citeshttps://doi.org/10.1142/9789812562425_0010openalex-snapshot
REBOUND: A Framework for Automated Component Adaptation
inferred← citeshttps://doi.org/10.1145/1882362.1882434openalex-snapshot
Derivational software engineering
inferred← citeshttps://doi.org/10.21236/ada409702openalex-snapshot
Real-Time Asset Rescheduling With Execution Monitoring and Accurate Asset Tracking
inferred← citeshttps://doi.org/10.3233/ica-2009-0312openalex-snapshot
Computer aided software design via inference and constraint propagation
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.