MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Data-flow analysisDependence analysisPointer analysisEscape analysisLoop interchangeCopy propagationConfluenceSearch algorithmLoop dependence analysisPartial-redundancy eliminationLog-linear analysisAnalysis of parallel algorithmsLoop optimizationSymbolic executionAnalysis of algorithmsPartial evaluationComputability theoryComputational problemAmortized analysisTwin patternFunction overloadingConcatenated error correction codeLink analysisMultiple inheritanceParallel arrayLive-variable analysisIndirectionParallel algorithmAlgebraic data typeMultiple correspondence analysisSubtypingCall-by-referenceRegister allocationCoinductionComplex analysisSpace syntaxBoolean expressionType theoryFractional cascadingTilingExpressionType variableMultisetDouble countingDifferential fault analysisObject compositionBounds checkingMatching wildcardsNondeterministic turing machineProduct typeAnalysis of competing hypothesesOperator associativityMultiplication of vectorsCommon subexpression eliminationPattern matchingProgramming language theoryReference countingMultimethodReaching definitionCyclic codeRelational operatorOperator theoryTest design techniqueLinear codeCycle detectionConceptual analysisMonomorphizationLoop nest optimizationFunction compositionAnalytic continuationNested functionFlat memory modelPermutation patternSystematic codeDual-coding theoryCategorificationOperator overloadingTopological data analysisDomain analysisFunctional calculusMulticategoryMeta-optimizationEuler's factorization methodRecursionClass variableMultiple encryptionPolynomial-time reductionFixed-point iterationAbstract interpretationAnticommutative propertyMathematical semanticsInterprocedural optimizationShunting yard algorithmReductionSavitch's theoremComplexity classIdentityHomotopy analysis methodParser combinatorExploratory factor analysis