1990 · 22 citations · 2 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureParallel ComputingProgramming LanguagesAbstract InterpretationAlgorithm AnalysisControl-flow AnalysisData-flow AnalysisFunctional ProgrammingStatic AnalysisAbstract SemanticsParallel Functional Programming
Abstract interpretation and projection analysis are two techniques for finding out information about lazy functional programs. Two typical uses of these techniques are speeding up sequential implementations, and the introduction of parallelism into parallel implementations.
2