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.
Common logicProgramming language theoryComputational learning theoryCamlPrologProof assistantHoare logicComputational linguisticsComputer algebra systemCompiler-compilerProlog syntax and semanticsEmacs lispAutolispConstraint programmingSpecification languageComputational semanticsAmplExtensible programmingAction languageCognitive architectureInductive programmingSystem programming languageOntology languageOutline of computer scienceArithmetic logic unitMetamathQuickcheckLalr parserSat solverStandard mlSeparation logicLlvmFunctional programmingProgram synthesisAlloyCommon lispCyclObject pascalParsing expression grammarCoolAutomata-based programmingLogic synthesisSource code control systemGnu linear programming kitLindoLisp machineComputational theory of mindHardware description languageSoftware systemFormal methodsBootstrappingInference engineLogic theoristNo instruction set computingMetasyntaxComputer programmingInteractive proof systemAutomated reasoningDeclarative programmingSemantic reasonerNatural language processingSymbolic artificial intelligenceKaleidoscopeArcadiaCompilerMizar systemModelicaObject constraint languageHistory of compiler constructionControl flow analysisIpo modelConflict-driven clause learningHaskellBcplProgrammable logic arrayDynamic programming languageProgramming toolType systemCoin-orCythonRule-based systemIntegrated development environmentHistory of machine translationOperational semanticsLanguage-oriented programmingAlgol 68C syntaxSisalOpenblasPl/iSyntaxObject-oriented operating systemLinear bounded automatonStructured concurrencyComputer architectureFormal specificationLl parserCoinductionAtlas.tiKnowledge-based systems