Algebraic Approaches to Program Semantics
Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.
Logic designComputer scienceArtificial intelligenceProgramming languages (electronic computers)