The Dynamic Semantics of Kernel Ella
Murray Gardner Hill · Defense Technical Information Center (DTIC) · 1992
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.