Accession Number:

ADA257930

Title:

Executable Transformational Rules from Core ELLA to the Kernel

Descriptive Note:

Memorandum rept.

Corporate Author:

DEFENCE RESEARCH AGENCY MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1992-07-01

Pagination or Media Count:

74.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE