Concepedia
Advances in Engineering Software (1978) · 1981 · 25 citations · 0 references
ComputingComputer ScienceCompilersProgramming LanguagesTheory Of ComputationAbstract InterpretationData-flow AnalysisDynamic ProgrammingFunctional ProgrammingFunctional RequirementsFunctional SyntaxFunctional DesignFunctional Software DesignTermination Of Functional Programs