Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
An axiomatic basis for computer programming
Communications of the ACM
Operating system principles
Systematic Programming: An Introduction
Systematic Programming: An Introduction
A Discipline of Programming
PASCAL user manual and report
The design of some language constructs for horizontal microprogramming
ISCA '77 Proceedings of the 4th annual symposium on Computer architecture
Programming Languages: History and Fundamentals
Programming Languages: History and Fundamentals
Design and specification of microprogrammed computer architectures
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Verification of microprogrammed computer architectures in the S*-system: a case study
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Microcode development for microprogrammed processors
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Trace scheduling optimization in a retargetable microcode compiler
ACM SIGMICRO Newsletter
Trace scheduling optimization in a retargetable microcode compiler
MICRO 20 Proceedings of the 20th annual workshop on Microprogramming
The Organization of Microprogram Stores
ACM Computing Surveys (CSUR)
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
Horizon: A Retargetable Compiler for Horizontal Microarchitectures
IEEE Transactions on Software Engineering
Towards a family of languages for the design and implementation of machine architectures
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Considerations for local compaction of nanocode for the nanodata QM-1
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
A survey of high level microprogramming languages
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
An axiomatization of low-level parallelism in microarchitectures
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
CHAMIL: a case study in microprogramming language design
ACM SIGPLAN Notices
ACM SIGMICRO Newsletter
Axiomatic proof rules for a machine-specific microprogramming language
ACM SIGMICRO Newsletter
On the formal pescription of microoperations and its impact on automatic microcode generation
ACM SIGMICRO Newsletter
Specifying target resources in a machine independent higher level language
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
| Hi-index | 0.00 |
A microprogramming language schema S denotes a language whose semantics is partially defined. A particular language S(M1), corresponding to some specific microprogrammable host machine M1, is obtained when S's semantics is completed using the properties of M1. In this paper, the design of a PASCAL-influenced language schema S* is developed. The principal characteristics of S* are facilities for constructing well-structured, verifiable microprograms that can either be optimized at the source program level or can be subject to mechanical (compiler) optimization.