Executable Transformational Rules from Core ELLA to the Kernel
DEFENCE RESEARCH AGENCY MALVERN (UNITED KINGDOM)
Pagination or Media Count:
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.
- Computer Programming and Software