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.
Algol 68Sat solverCyk algorithmTuring testHalstead complexity measuresLiterate programmingTest design techniqueControl flow analysisProgram synthesisMerge-insertion sortComputer programmingPascalSymbolic executionHoare logicSearch algorithmJackson structured programmingM-expressionKnuth reward checkInterpreter patternProject eulerTest vectorProgramming language theoryPl/iMetamathThe multiprogramming systemTuring machine equivalentsHirschberg's algorithmDevice independent file formatAnalysis of algorithmsTest scriptLogic theoristGeneral problem solverAcl2Formal methodsAlgolDhrystoneMutation testingAutomatic programmingFormal specificationOberonTest oracleTwo-way string-matching algorithmCodd's cellular automatonCoolShunting yard algorithmFuzzingModel-based testingConsQed manifestoRelational modelRelational operatorTest assertionC syntaxSeparation logicCode coveragePrologComputational complexityDekker's algorithmFractranLoebner prizeComputer scientistEugene goostmanGolomb codingCheney's algorithmPseudocodeOutline of computer scienceComputer programComputer experimentFletcher's checksumIdrisGrammar checkerGene expression programmingComputational learning theoryRandom testingFunctional programmingPattern matchingConstraint programmingGlushkov's construction algorithmExecutionTuring awardProlog syntax and semanticsDec alphaAnalysis of parallel algorithmsSyntaxCode golfStatementJanusAd hoc polymorphismCounting sortProgramming languagePurely functional data structureCoinductionSketchpadConflict-driven clause learningAlgorithmic efficiencyUniversal turing machineGnu libtoolBinary decision diagramAction languageSolver