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.
PostconditionsDefinednessPreconditionStatechartPredicateConditionalizationFixpointTypecheckingDisjointnessNullaryIdempotencyMonotonicityArityBisimulationBiconditionalPreconditionsSubtransactionReentrancyNonnullInitializationInstantiationMinimalityEquationalIdempotenceExtensionalitySatisfiabilityMintermSummandInfosetSubprocedureCoroutineParameterlessNondeterminismNonnegativityInvertibilityMetafunctionMetaobjectTupleMultisetSerializabilityDerivabilityNegationSubgoalConditionalPre-hookAssertionSequence pointTemporaryEarly returnIfdefDefinitionConditional commentWhile loopImperative programmingExpressionStatic bindingPredeclarationLoopContinuationSide effectClosing formChecked exceptionBreakpointProgrammingCofunctionFall-throughCode blockAssignmentControl structureJumpClosurePragmaProductionPost-incrementBranchDo-while loopConcernEntry pointBlockFor loopCritical sectionAssertGo toUnreachable codeCall siteUniprogrammingSpeculationInitializerInfinite loopModifierConditional assembly languageRequirementCaseCodeEarly bindingEpilogueRun timePredicationParameterStatic scoping