Some Aspects of High-Level Microprogramming
Explore this paper's citation graph
Summary
A number of strategies and language design philosophies for solving the problems of high-level microprogramming languages, including machine-oriented languages such as Eckhouse's MPL and Patterson's STRUM, are described.
- Type
- book
- Published
- 1980-09-01
- Cited by
- 39
- References
- 63
- OpenAlex
- https://openalex.org/W45083485
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:12810829
Keywords
Microcode, Computer science, Programming language, Operating system
References
- Microprogrammable Computer Architectures
- Elements of software science (Operating and programming systems series)
- Parallelism in Loop-Free Microprograms
- Verification of microprograms.
- An approach to firmware engineering
- Elements of software science
- Interpreting machines: Architecture and programming of the B1700/B1800 series (Operating and programming systems series)
- Microprogram verification considered necessary
- The Identification of Maximal Parallelism in Straight-Line Microprograms
- An experiment in high level language microprogramming and verification
- A high-level microprogramming language (MPL)
- Current Trends in Data Base Systems
- Time-sharing computer systems
- Microprogrammed implementation of a single chip microprocessor
- Strum: Structured Microprogram Development System for Correct Firmware
- An analysis of code density for the two level programmable control of the Nanodata QM-1
- A Conceptual Framework for Computer Architecture
- An environment for research in microprogramming and emulation
- About the Cover: The colors of computing
- The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment
Cited by
- Towards a family of languages for the design and implementation of machine architectures
- Microarchitecture description techniques
- High level microprogramming: current usage, future prospects
- A retargetable compiler for a high-level microprogramming language
- MDS: An improved total system for firmware development
- High-level microprogramming with APL syntax
- Axiomatizations of floating point arithmetics
- A retargetable microcode generation system for a high-level microprogramming language
- Progress im High-Level Microprogramming
- A survey of resource allocation methods in optimizing microcode compilers
- A new synthesis for the MIMOLA software system
- A VLSI view of microprogrammed system design
- Verification of microprogrammed computer architectures in the S*-system: a case study
- S*(QM-1): An instantiation of the high level microprogramming language scheme S* for the nanodata QM-11
- ICMS: an intelligent cell memory system for real-time engineering applications
- The use of hoare logic in the verification of horizontal microprograms
- A model of clocked micro-architectures for firmware engineering and design automation applications
- V-Compiler: a next-generation tool for microprogramming
- Axiomatic proof rules for a machine-specific microprogramming language
- Issues of the design of a low level microprogramming language for global microcode compaction
Related papers
- Microprogramming concepts and techniques
- Design considerations for microprogramming languages
- At the Programming Language - Microprogramming interface
- Formal methods in programming and microprogramming overview
- A survey of high level microprogramming languages
- Contemporary Concepts of Microprogramming and Emulation
- Review: contemporary concepts of microprogramming and emulation
- A survey of high level microprogramming languages : (preprint)