Executable Transformational Rules from Core ELLA to the Kernel

Abstract

This document describes the set of formal transformation rules which have been implemented for mapping Core ELLA into Kernel data structures. Examples are given of circuits which have been successfully transformed by the implementation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1992
Accession Number
ADA257930

Entities

People

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

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes
  • Sensors

DTIC Thesaurus Topics

  • Commerce
  • Compilers
  • Composite Materials
  • Computers
  • Environment
  • Foreign Languages
  • Intellectual Property
  • Intervals
  • Language
  • Microprocessors
  • Personality
  • Reservoirs
  • Sequences
  • Software Development
  • Translations
  • United Kingdom
  • Verification

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Parallel and Distributed Computing.