On the public citation graph

A specification of the intel 8085 microprocessor: A case study

https://doi.org/10.1007/bfb0015045
0 signed · 31 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-10009-1_25openalex-snapshot
Canonical forms and unification
inferredcites →https://doi.org/10.1007/3-540-15187-7openalex-snapshot
The Munich Project CIP
inferredcites →https://doi.org/10.1007/3-540-15198-2_2openalex-snapshot
Specification and top down design of distributed systems
inferredcites →https://doi.org/10.1007/3-540-16442-1_26openalex-snapshot
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
inferredcites →https://doi.org/10.1007/3-540-17220-3_3openalex-snapshot
A compiler for conditional term rewriting systems
inferredcites →https://doi.org/10.1007/3-540-19242-5_23openalex-snapshot
The Passau RAP system: Rapid prototyping for algebraic specifications
inferredcites →https://doi.org/10.1007/3-540-19242-5_7openalex-snapshot
A compiler for a class of conditional term rewriting systems
inferredcites →https://doi.org/10.1007/978-3-642-73824-1openalex-snapshot
Computing in Horn Clause Theories
inferredcites →https://doi.org/10.1007/978-3-662-09507-2_19openalex-snapshot
Communicating Sequential Processes
inferredcites →https://doi.org/10.1007/bf00264293openalex-snapshot
On hierarchies of abstract data types
inferredcites →https://doi.org/10.1007/bfb0015039openalex-snapshot
An introduction to COLD-K
inferredcites →https://doi.org/10.1007/bfb0015044openalex-snapshot
The RAP system as a tool for testing COLD specifications
inferredcites →https://doi.org/10.1007/bfb0015046openalex-snapshot
Specification and prototyping of a compiler for a small applicative language
inferredcites →https://doi.org/10.1007/bfb0015047openalex-snapshot
Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype
inferredcites →https://doi.org/10.1016/0167-6423(88)90064-0openalex-snapshot
Towards an algebraic specification of code generation
inferredcites →https://doi.org/10.1016/0304-3975(86)90051-4openalex-snapshot
Structured algebraic specifications: A Kernel language
inferredcites →https://doi.org/10.1016/b978-0-12-115350-2.50017-8openalex-snapshot
Equations and Rewrite Rules: A Survey
inferredcites →https://doi.org/10.1145/1014190.802721openalex-snapshot
A survey of high level microprogramming languages
inferredcites →https://doi.org/10.1147/sj.22.0117openalex-snapshot
Programming notation in systems design
inferredcites →https://doi.org/10.21236/ada087640openalex-snapshot
Canonical Forms and Unification.

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-16442-1_26openalex-snapshot
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
inferred← citeshttps://doi.org/10.1007/3-540-17189-4_113openalex-snapshot
Towards advanced programming environments based on algebraic concepts
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_5openalex-snapshot
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_223openalex-snapshot
Mechanized inductive proof of properties of a simple code optimizer
inferred← citeshttps://doi.org/10.1007/bf01384049openalex-snapshot
Gordon's computer: A hardware verification case study in OBJ3
inferred← citeshttps://doi.org/10.1007/bfb0015044openalex-snapshot
The RAP system as a tool for testing COLD specifications
inferred← citeshttps://doi.org/10.1007/bfb0015047openalex-snapshot
Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype
inferred← citeshttps://doi.org/10.1007/bfb0021717openalex-snapshot
Algebraic models and the correctness of microprocessors
inferred← citeshttps://doi.org/10.1007/s002360050051openalex-snapshot
Algebraic models of microprocessors architecture and organisation
inferred← citeshttps://doi.org/10.1016/0141-9331(90)90038-wopenalex-snapshot
Formal specification of the ProCoS/safemos instruction set
inferred← citeshttps://doi.org/10.1016/0165-6074(87)90042-1openalex-snapshot
Formal specification and documentation of microprocessor instruction sets
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.