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.
Control-flow graphSyntaxStatementDeclarative programmingAlgorithmPurely functional programmingSwitch statementFlow-sensitive typingSequential algorithmInstruction cycleContinuation-passing styleBoolean expressionCircuitOrder of operationsTime complexityModel of computationData-flow analysisExpressionData-driven programmingLoop dependence analysisAction languageSymbolic executionCycle detectionInstructions per cycleCycles per instructionProgram slicingFor loopData dependencyOut-of-order executionFunctional programmingCoinductionAlgorithmic efficiencyStructured programmingStream processingAnalysis of algorithmsType systemReturn statementAsync/awaitAnalysis of parallel algorithmsData typeProgramming language theoryLoop-invariant code motionFinite-state machineFunctional requirementOnline algorithmAssignmentCall graphFormal specificationFunction typeReturn typeTheory of computationDo while loopException handlingComputational complexityForeach loopIpo modelSearch algorithmModel checkingListNested functionComputer algebraPattern matchingPrimitive recursive functionComputable functionFunction modelParallel algorithmTest-and-setNaming conventionGraphInformation flowDynamic programming languageReference countingSet functionEnvironmentCurryingCounting sortDependence analysisMacroArray data typeSequence pointCircuit complexityFormal verificationMetasyntaxWhile loopSyntax errorCode coverageOperatorRelational operatorComposite data typeParameterPredefined functionTransition functionComplexity theoryBranchBitwise operationComputability theoryConcurrency controlRecursionModular programmingComplexity function