Specifying target resources in a machine independent higher level language

Authors:
Scott Davidson;Bruce D. Shriver
Affiliations:
Western Electric Engineering Research Center, Princeton, New Jersey;University of Southwestern Louisiana, Lafayette, Louisiana
Venue:
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Year:
1981

Citing 6
Cited 0

PASCAL user manual and report

PASCAL user manual and report
Structure of Computers and Computations

Structure of Computers and Computations
Towards a microprogramming language schema

MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
A machine independent approach to the production of optimized horizontal microcode.

A machine independent approach to the production of optimized horizontal microcode.
Design and construction of a virtual machine resource binding language

Design and construction of a virtual machine resource binding language
An Overview of the Production-Quality Compiler-Compiler Project

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract

Each Higher Level Language (HLL) defines a virtual machine. A compiler for a HLL translates a program written for this virtual machine into a program for a lower level target virtual machine, which could be at the operating system, machine language, microcode, or other level. The space and time needed to run the compiled program are influenced by the difference between the functionality and semantics of the source and target virtual machines (semantic gap). As part of the translation process, a compiler binds source language constructs to target language constructs. For example, a variable in a program will be bound to a memory location, and an operator in a program (such as Plus) will be bound to a target machine functional unit (such as an Adder).