The Dynamic Semantics of Kernel Ella

Abstract

This document describes the dynamic semantics of the Kernel of ELLA. The Kernel is a set of data structures into which any ELLA circuit can be transformed. The semantics of two simple languages are explored in order to demonstrate the implementability of the approach undertaken. Correspondence between this work and former analysis is shown.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1992
Accession Number
ADA258221

Entities

People

  • M. G. Hill

Tags

DTIC Thesaurus Topics

  • Ambiguity
  • Classification
  • Computers
  • Environment
  • Foreign Languages
  • Intervals
  • Kernel Functions
  • Language
  • Memory Devices
  • Semantics
  • Sequences
  • Simulations
  • Simulators
  • Software Development
  • Terminals
  • Test And Evaluation
  • United Kingdom

Fields of Study

  • Computer science

Readers

  • Control Systems Engineering.
  • Software Engineering.