Concepedia
Applied Mathematical Modelling · 1980 · 49 citations · 0 references
ComputingComputer ScienceCompilersProgramming LanguagesTheory Of ComputationAbstract InterpretationData-flow AnalysisDynamic ProgrammingFunctional ProgrammingFunctional RequirementsFunctional SyntaxFunctional DesignFunctional Software DesignTermination Of Functional Programs