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.
Partial-redundancy eliminationDead-code eliminationStrength reductionCopy propagationReduction operatorCompile-time function executionElimination theoryLoop nest optimizationInterprocedural optimizationPartial evaluationOptimizationExpression templatesLoop optimizationCache replacement policiesSelf-modifying codeRegister allocationStatic single-assignment formProgram optimizationMonomorphizationString interpolationSymbolic executionBeta reductionDynamic programmingTheory of computationLazy evaluationBinary searchSwitch statementDynamic programming languageDefunctionalizationSubtypingProgram slicingTuring reductionAutomatic vectorizationConstrained optimizationIncremental computingLoop dependence analysisLive-variable analysisFunctional programmingSubstitutionRegular expressionKarp reductionPointer analysisAnalysis of parallel algorithmsBrute-force searchAll-pairs testingBoolean expressionLambda calculusConfluenceDeforestationLoop interchangeClass variablePurely functional programmingReaching definitionPartial applicationReductionUnificationCollectionPredicationOverlapping subproblemsSymbol tableTail recursionPotential methodMemoizationFractional cascadingComputer algebraExpressionCross-multiplicationPredefined functionDependence analysisModel of computationSummation by partsEuclidean algorithmDomain analysisIdentityLogic optimizationLocal consistencyLiskov substitution principleReduced costChainingCategory theoryAlpha-beta pruningAlpha conversionSubadditivityFeature selectionType systemString-searching algorithmAnalysis of algorithmsFree variables and bound variablesComputability theoryAlgorithmic efficiencyFibonacci search techniqueCall-by-nameBranch and priceProgramming language theoryBranch target predictorParametric polymorphismAutomatic differentiationPolynomial-time reductionExtensionalityData-flow analysis