On the public citation graph

A set-theoretic semantics for Clear

https://doi.org/10.1007/bf00271641
0 signed · 32 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-12689-9_122openalex-snapshot
A kernel language for algebraic specification and implementation extended abstract
inferredcites →https://doi.org/10.1007/3-540-12693-7openalex-snapshot
The IOTA Programming System
inferredcites →https://doi.org/10.1007/3-540-12727-5_24openalex-snapshot
Structured theories in LCF
inferredcites →https://doi.org/10.1007/3-540-12896-4_366openalex-snapshot
Introducing institutions
inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_26openalex-snapshot
Introducing Institutions
inferredcites →https://doi.org/10.1007/bf00625280openalex-snapshot
Partial abstract types
inferredcites →https://doi.org/10.1007/bfb0012793openalex-snapshot
Implementation of parameterised specifications
inferredcites →https://doi.org/10.1007/bfb0022528openalex-snapshot
Initially — Restricting algebraic theories
inferredcites →https://doi.org/10.1007/bfb0036909openalex-snapshot
Algebraic specifications with generating constraints
inferredcites →https://doi.org/10.1016/0167-6423(81)90006-xopenalex-snapshot
Programming in a wide spectrum language: a collection of examples
inferredcites →https://doi.org/10.1016/0304-3975(84)90056-2openalex-snapshot
Algebraic and operational semantics of specifications allowing exceptions and errors
inferredcites →https://doi.org/10.1016/0378-4754(83)90038-1openalex-snapshot
The correctness problem in computer science
inferredcites →https://doi.org/10.1145/357162.357170openalex-snapshot
R for Semantics
inferredcites →https://doi.org/10.1145/359657.359666openalex-snapshot
Abstract data types and software validation
inferredcites →https://doi.org/10.21236/ad0406138openalex-snapshot
LISP 1.5 PROGRAMMER'S MANUAL

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-16444-8_16openalex-snapshot
The algorithmic specification method of abstract data types: An overview
inferred← citeshttps://doi.org/10.1007/3-540-50325-0_7openalex-snapshot
The specification language of OBSCURE
inferred← citeshttps://doi.org/10.1007/3-540-53912-3_19openalex-snapshot
Experiences with combining formalisms in VVSL
inferred← citeshttps://doi.org/10.1007/3-540-54496-8_2openalex-snapshot
An association of Algebraic term nets and abstract data types for specifying real communication protocols
inferred← citeshttps://doi.org/10.1007/3-540-54496-8_8openalex-snapshot
A notion of implementation for the specification language OBSCURE
inferred← citeshttps://doi.org/10.1007/3-540-58495-1_30openalex-snapshot
Building bridges between knowledge representation and algebraic specification
inferred← citeshttps://doi.org/10.1007/3-540-61629-2_62openalex-snapshot
Tool design for structuring mechanisms for algebraic specification languages with initial semantics
inferred← citeshttps://doi.org/10.1007/978-1-4471-3577-7_23openalex-snapshot
The database Specification Language Ruslan: Main Features
inferred← citeshttps://doi.org/10.1007/978-3-662-09691-8_3openalex-snapshot
OBSCURE, A New Specification Language
inferred← citeshttps://doi.org/10.1007/bf01209709openalex-snapshot
OBSCURE a specification language for abstract data types
inferred← citeshttps://doi.org/10.1007/bfb0013173openalex-snapshot
A unified-algebra-based specification language for symbolic computing
inferred← citeshttps://doi.org/10.1007/bfb0014982openalex-snapshot
Implementing algebraically specified abstract data types in an imperative programming language
inferred← citeshttps://doi.org/10.1007/bfb0015466openalex-snapshot
Experiences with a specification environment
inferred← citeshttps://doi.org/10.1016/b978-0-12-037101-3.50015-6openalex-snapshot
Category Theory for Algebraic Specification
inferred← citeshttps://doi.org/10.1145/29873.30399openalex-snapshot
Algorithmic specifications: a constructive specification method for abstract data types
inferred← citeshttps://doi.org/10.22028/d291-26433openalex-snapshot
The specification language of OBSCURE
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.