MicroTAL - a machine-dependent, high-level microprogramming language
@inproceedings{Bartlett1981MicroTALA,
title={MicroTAL - a machine-dependent, high-level microprogramming language},
author={Joel F. Bartlett},
booktitle={MICRO 14},
year={1981}
}The design and implementation of a high-level microprogramming language is described. The language is a subset of an existing systems programming language, TAL, which allows algorithms to be written and debugged using that language. The procedure may then be recompiled using the microTAL compiler to produce a semantically equivalent microprogram which is accessed via an opcode rather than a procedure call. The microTAL compiler automatically generates code to handle interrupts and page faults…
3 Citations
High level microprogramming: current usage, future prospects
- Computer ScienceSIGM
- 1983
The existence of a HLML would allow work on higher level microprogramming and firware engineering to proceed more rapidly, and some suggestions how to solve this problem are given.
Progress im High-Level Microprogramming
- Computer ScienceIEEE Software
- 1986
A high-level microprogramming language would speed work on higher level microprogramming and firmware engineering and decouple algorithm design from microcoding. This article examines several…
References
SHOWING 1-8 OF 8 REFERENCES
High level language programs run ten times faster in microstore
- Computer ScienceSIGM
- 1980
A true microcode compiler for a minicomputer is described which translates an algebraic language directly into executable microcode. The compiler performs extensive optimization and produces code…
A survey of high level microprogramming languages
- Computer ScienceSIGM
- 1980
The current state of design and implementation of high level microprogramming languages is surveyed, to see how each of them has approached these issues.
Standard LISP report
- Computer ScienceSIGP
- 1979
Although the programming language LISP was first formulated in 1960, a widely accepted standard has never appeared and therefore it is difficult to write and use programs which depend on the structure of the source code such as translators, editors and cross-reference programs.
A NonStop kernel
- Computer ScienceSOSP
- 1981
Using these primitives, a mechanism that allows fault-tolerant resource access, the process-pair, is described, and some observations are made on this type of system structure and on actual use of the system.
Compiler Construction for Digital Computers
- Computer Science
- 1971
The techniques involved in writing compilers for high-level languages such as FORTRAN or PL/1, as well as semantic routines, are described.
ACM SIGPLAN Notices
- ACM SIGPLAN Notices
- 1979
A NonStop (TM) Operating System
- Eleventh Hawaii International Conference on SyStems Sciences
- 1978
A Fault-Tolerant Computlng System
- Eleventh Hawaii ~nternational Conference on Systems Sciences
- 1978