On the public citation graph

Pushouts of order-sorted algebraic specifications

https://doi.org/10.1007/bfb0014312
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-10007-5_41openalex-snapshot
The semantics of clear, a specification language
inferredcites →https://doi.org/10.1007/3-540-54972-2openalex-snapshot
Algebraic Specification Techniques in Object Oriented Programming Environments
inferredcites →https://doi.org/10.1007/3-540-57867-6_13openalex-snapshot
A behavioural algebraic framework for modular system design with reuse
inferredcites →https://doi.org/10.1007/978-3-642-61284-8_3openalex-snapshot
Module Specifications
inferredcites →https://doi.org/10.1007/bfb0014312openalex-snapshot
Pushouts of order-sorted algebraic specifications
inferredcites →https://doi.org/10.1016/0022-0000(90)90013-bopenalex-snapshot
Parametrization for order-sorted algebraic specification
inferredcites →https://doi.org/10.1016/0304-3975(92)90302-vopenalex-snapshot
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
inferredcites →https://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot
Specifications in an arbitrary institution
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferredcites →https://doi.org/10.1017/s0960129500000517openalex-snapshot
An Oxford survey of order sorted algebra
inferredcites →https://doi.org/10.1145/318593.318610openalex-snapshot
Principles of OBJ2

What points at this work

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

inferred← citeshttps://doi.org/10.1006/inco.2000.2891openalex-snapshot
Semantics of Temporal Classes
inferred← citeshttps://doi.org/10.1007/10720084_14openalex-snapshot
Composing and Controlling Search in Reasoning Theories Using Mappings
inferred← citeshttps://doi.org/10.1007/3-540-46093-4_14openalex-snapshot
A Model Theory for Generic Schema Management
inferred← citeshttps://doi.org/10.1007/3-540-48309-8_23openalex-snapshot
Formalising Ontologies and Their Relations
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_14openalex-snapshot
Translating OBJ3 into CASL: The Institution Level
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_42openalex-snapshot
Colimits of order-sorted specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_6openalex-snapshot
A Language-Independent Proof System for Mutual Program Equivalence
inferred← citeshttps://doi.org/10.1007/978-3-319-28114-8_3openalex-snapshot
A Theoretical Foundation for Programming Languages Aggregation
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_33openalex-snapshot
Pushout: A Mathematical Model of Architectural Merger
inferred← citeshttps://doi.org/10.1007/978-3-540-74107-7_5openalex-snapshot
Casl — the Common Algebraic Specification Language
inferred← citeshttps://doi.org/10.1007/978-3-642-04164-8_4openalex-snapshot
Order-Sorted Parameterization and Induction
inferred← citeshttps://doi.org/10.1007/bfb0000465openalex-snapshot
Permissive subsorted partial logic in CASL
inferred← citeshttps://doi.org/10.1007/bfb0053064openalex-snapshot
(Objects + concurrency) & reusability — A proposal to circumvent the inheritance anomaly
inferred← citeshttps://doi.org/10.1007/bfb0053590openalex-snapshot
Constructs, concepts and criteria for reuse in concurrent object-oriented languages
inferred← citeshttps://doi.org/10.1007/s00165-016-0361-7openalex-snapshot
A language-independent proof system for full program equivalence
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.037openalex-snapshot
Amalgamation in the semantics of CASL
inferred← citeshttps://doi.org/10.1016/j.tcs.2020.09.024openalex-snapshot
Stability of termination and sufficient-completeness under pushouts via amalgamation
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00368-1openalex-snapshot
CASL: the Common Algebraic Specification Language
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00369-3openalex-snapshot
Relating CASL with other specification languages: the institution level
inferred← citeshttps://doi.org/10.1016/s0950-5849(02)00010-1openalex-snapshot
Institutions: integrating objects, XML and databases
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00048-9openalex-snapshot
Object-Oriented Specifications of Distributed Systems in the μ-Calculus and Maude
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80025-8openalex-snapshot
Object-Oriented Specification of Distributed Systems (Extended Abstract)
inferred← citeshttps://doi.org/10.1109/inista.2016.7571845openalex-snapshot
Modeling dynamic systems with high-level Petri nets with object-orientation
inferred← citeshttps://doi.org/10.3233/2001-jid5_03openalex-snapshot
TOWARDS AN INTEGRATION OF MESSAGE SEQUENCE CHARTS AND TIMED MAUDE
inferred← citeshttps://doi.org/10.71548/22899openalex-snapshot
Mei-A Module System for Mechanized Mathematics Systems
showing the first 25 of 26 · page through all 26
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.