FUNL Semantics Work Towards UNCOL

ID
TR-77-09
Authors
R. A. Fraley
Publishing date
August 1977
Abstract
An intermediate semantics language, applicable to many source languages and machines, is proposed in this paper. Over its domain and range it promises many of the advantages of the original UNCOL project. Data abstraction is used to hide machine features. The language hides from the source compiler all implementation representations and conventions, except for a few descriptive constants. The semantic model is espandable by means of a library. Higher level semantic models may be implenented in FUNL, reducing compiler writing effort.