Accession Number:

ADA242148

Title:

A Formal Definition of the Static Semantics of Ella's Core

Descriptive Note:

Corporate Author:

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1991-08-01

Pagination or Media Count:

107.0

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 ELLAs Core and of Core circuits which are translated via the formal transformation system into a set of data structures.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE