Concepedia
1978 · 16 citations · 0 references
ComputingComputer ScienceProgramming LanguagesSyntaxTheory Of ComputationAbstract Syntax TreesData-flow AnalysisPredicate LogicRecursion TheoryType SystemsPredicate AnalysisPredicate TransformersRecursionRecursive Structure