MicroTAL - a machine-dependent, high-level microprogramming language

  title={MicroTAL - a machine-dependent, high-level microprogramming language},
  author={Joel F. Bartlett},
  booktitle={MICRO 14},
  • J. Bartlett
  • Published in MICRO 14 1 December 1981
  • Computer Science
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

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

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



High level language programs run ten times faster in microstore

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

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

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

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

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
  • 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