On the public citation graph
The use of hoare logic in the verification of horizontal microprograms
0 signed · 41 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-67774-8_2openalex-snapshot
Firmware Engineering: An Extensive Update
inferredcites →https://doi.org/10.1007/978-3-642-67774-8_8openalex-snapshot
Correctness of Firmware -An Overview-
inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot
An axiomatic proof technique for parallel programs I
inferredcites →https://doi.org/10.1007/bf00289504openalex-snapshot
An axiomatic definition of the programming language PASCAL
inferredcites →https://doi.org/10.1016/0096-0551(83)90036-xopenalex-snapshot
Denotational semantics: The scott-strachey approach to programming language theory
inferredcites →https://doi.org/10.1016/0378-4754(81)90034-3openalex-snapshot
Firmware, Microprogramming and Restructurable Hardware
inferredcites →https://doi.org/10.1016/s0065-2458(08)60568-9openalex-snapshot
Computer Design and Description Languages
inferredcites →https://doi.org/10.1080/00913367.1976.10672665openalex-snapshot
Aaker, David A. (Ed.).Advertising Management. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1975
inferredcites →https://doi.org/10.1109/t-c.1971.223341openalex-snapshot
Microprogramming: An Introduction and a Viewpoint
inferredcites →https://doi.org/10.1109/tc.1976.1674538openalex-snapshot
Strum: Structured Microprogram Development System for Correct Firmware
inferredcites →https://doi.org/10.1109/tc.1981.1675804openalex-snapshot
The MPG System: A Machine-Independent Efficient Microprogram Generator
inferredcites →https://doi.org/10.1109/tc.1981.1675826openalex-snapshot
Some Experiments in Local Microcode Compaction for Horizontal Machines
inferredcites →https://doi.org/10.1109/tc.1981.1675827openalex-snapshot
Trace Scheduling: A Technique for Global Microcode Compaction
inferredcites →https://doi.org/10.1109/tc.1981.1675828openalex-snapshot
Optimization of Microprograms
inferredcites →https://doi.org/10.1145/1014190.802717openalex-snapshot
Design of a user-microprogrammable building block
inferredcites →https://doi.org/10.1145/1014192.802450openalex-snapshot
Considerations for local compaction of nanocode for the nanodata QM-1
inferredcites →https://doi.org/10.1145/1014198.804299openalex-snapshot
Microprogrammed implementation of a single chip microprocessor
inferredcites →https://doi.org/10.1145/1014198.804324openalex-snapshot
Towards a microprogramming language schema
inferredcites →https://doi.org/10.1145/1067649.801724openalex-snapshot
Towards a family of languages for the design and implementation of machine architectures
inferredcites →https://doi.org/10.1145/1217166.1217168openalex-snapshot
An overview of the MATHILDA system
inferredcites →https://doi.org/10.1145/356819.356822openalex-snapshot
Local Microcode Compaction Techniques
inferredcites →https://doi.org/10.1145/356819.356823openalex-snapshot
Some Aspects of High-Level Microprogramming
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/800046.801635openalex-snapshot
On the verification of computer architectures using an architecture description language
inferredcites →https://doi.org/10.5555/800099.803216openalex-snapshot
Research directions in software technology
inferredcites →https://doi.org/10.7939/r3445hh66openalex-snapshot
Verification of S*(QM-1) microprograms
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-642-84304-4_9openalex-snapshot
A Concept of Defining Semantics of Concurrent Microprograms
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60045-5openalex-snapshot
The Structure of Design Processes
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60366-6openalex-snapshot
Developments In Firmware Engineering
inferred← citeshttps://doi.org/10.1109/12.21123openalex-snapshot
Formal verification of fault tolerance using theorem-proving techniques
inferred← citeshttps://doi.org/10.1109/43.277609openalex-snapshot
Formal verification of sequential hardware: a tutorial
inferred← citeshttps://doi.org/10.1109/ms.1986.233750openalex-snapshot
Progress im High-Level Microprogramming
inferred← citeshttps://doi.org/10.1109/ms.1986.233753openalex-snapshot
Formal Methods of Microcode Verification and Synthesis
inferred← citeshttps://doi.org/10.1109/test.1996.557152openalex-snapshot
Generation of test cases for hardware design verification of a super-scalar Fetch Processor
inferred← citeshttps://doi.org/10.1145/1096419.1096442openalex-snapshot
Axiomatic proof rules for a machine-specific microprogramming language
inferred← citeshttps://doi.org/10.1145/384281.808240openalex-snapshot
An axiomatization of low-level parallelism in microarchitectures
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.