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.
Loop optimizationCopy propagationDependence analysisLoop nest optimizationLoop dependence analysisFor loopLoop invariantNested functionCyclic codeBubble sortCycle detectionOrder of operationsTransposeInverse iterationFunction compositionSymmetric polynomialControl flowAlias analysisForeach loopFixed-point iterationMutual recursionLoop-invariant code motionPartial-redundancy eliminationPermutation patternDo loopReductionMultiplication of vectorsCurryingTree rotationIndex notationConcatenated error correction codeInformation flowList comprehensionBoolean expressionType variableOrder of integrationReaching definitionInterval exchange transformationMatrix additionOperator associativityCoinductionTranspose conjugateMatrix multiplicationChain ruleBilinear interpolationData-flow analysisWhile loopCall-by-referenceLinear codeIterated binary operationCircuitChange of variablesConverse relationPolynomial-time reductionMeta-optimizationSystematic codeContinuation-passing styleCall-by-valueSubtypingFeynman parametrizationAlgorithmContravarianceAlternating functionPattern matchingTrigonometric substitutionFunctional calculusInterleavingConcatenationConfluenceRegister allocationUnificationBinary operationComputational problemCommon subexpression eliminationOrthogonalizationRecursionCounting sortParallel algorithmType constructorEquationThreaded binary treeInverse function ruleIndex calculus algorithmSymmetry of second derivativesOrthocomplementationCommutative propertyAntihomomorphismControl-flow graphMove assignment operatorIterated integralBlock sortParser combinatorProduct typeLive-variable analysisAlgebraic data typeAnamorphismTrigonometric interpolationCircular shiftIterated function systemPrimitive recursion