A Formal Definition of the Static Semantics of ELLA's Core
The work
| Authors | J.D. Morison; M.G. Hill |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1991 |
| Citekey | morison1991formal |
Where it appeared
| Publisher | Royal Signals and Radar Establishment |
|---|---|
| Number in series | 91024 |
| School | Royal Signals and Radar Establishment |
Identifiers
| report_number | AD-A242148 |
|---|
Access
| Landing page | https://archive.org/details/DTIC_ADA242148 |
|---|
From bibtex.
Abstract
At the heart of the full ELLA language are a set of Core constructs into which any ELLA description can be transformed. This document describes a set of formal transformation rules which map these Core constructs into a set of data structures. These transformation rules define the static semantics of the language. Examples are given of circuits which are translated from the full language into ELLA's Core and of Core circuits which are translated via the formal transformation system into a set of data structures.
A copy is held
pdf, 2.9 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-23 00:47 UTC |
| Approved by | a person 2026-10-23 07:48 UTC |
Filed under
Cite it as
@techreport{morison1991formal,
title = {A Formal Definition of the Static Semantics of ELLA's Core},
author = {J.D. Morison and M.G. Hill},
year = {1991},
publisher = {Royal Signals and Radar Establishment},
school = {Royal Signals and Radar Establishment},
}
This record lives at https://refs.drheap.org/morison1991formal/ and will keep doing so.