Publication | Closed Access
A relationship between abstract interpretation and projection analysis
22
Citations
2
References
1990
Year
Unknown Venue
EngineeringSoftware EngineeringSemanticsSoftware AnalysisFormal VerificationLanguage StudiesParallel ComputingLazy Functional ProgramsFormal SemanticsAbstract InterpretationProjection AnalysisComputer ScienceProgram OptimizationOptimizing CompilerInterpretation TechniqueFunctional ProgrammingFunctional Programming LanguagePhilosophy Of LanguageAutomated ReasoningProgram AnalysisFormal MethodsParallel ProgrammingLinguistics
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1