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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1991
Accession Number
ADA242148

Entities

People

  • J. D. Morison
  • M. G. Hill

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Ambiguity
  • Composite Materials
  • Computer Programming
  • Computer Science
  • Computers
  • Concrete
  • Environment
  • Intellectual Property
  • Intervals
  • Language
  • Notation
  • Numbering Systems
  • Numbers
  • Personality
  • Reservoirs
  • Simulators
  • United Kingdom

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Systems Analysis and Design