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.
Interactive proof systemComputer algebra systemProgramming toolComputer-assisted translationCompiler-compilerFormal methodsSat solverFormal specificationToolchainQuestion answeringComputer-aided manufacturingAutomated reasoningIntegrated development environmentComputer programmingProgram synthesisSolverAcl2MetamathCoinductionProgramming language theorySemantic reasonerComputer-aided designMizar systemMachine translationLogic synthesisElectronic design automationHistory of machine translationComputational learning theoryCompilerOntology languageStructured analysisParsingHistory of compiler constructionInference engineComputational linguisticsPreprocessorComputer musicFormula editorLanguage technologyHoare logicExpert systemSoftware developmentSpecification languageComputerControl flow analysisComputer-aided quality assuranceGrammar checkerAction languageSoftware systemTest automationSymbolic artificial intelligenceRule-based systemDigital electronic computerParsing expression grammarIntelligent tutoring systemOutline of computer scienceComputational semanticsType systemDebuggingProfessional services automationFunctional programmingConstraint programmingProgramming language specificationNatural language processingMetasyntaxIntelligent automationSymbolic executionAtlas.tiSoftware agentMathcadProgrammable calculatorExecutionDynamic programming languageInput deviceProof-carrying codeHardware description languageTemplate processorMechanical calculatorIpo modelArithmetic logic unitTest oracleComputer-aided technologiesFormal equivalence checkingGraphics softwareDocumentation generatorFunction modelSyntaxComputer network programmingComputer-aided industrial designHuman-based computationPaper prototypingAutomata-based programmingProductivity softwareSource code control systemProcedural generationSoftware designBootstrappingNotebook interfaceBuild automationAnalysis of parallel algorithms