Publication | Closed Access

Automatic mode inference for logic programs

Computational LogicEngineeringProgram AnalysisAutomated ReasoningAutomatic Mode InferenceDynamic LogicFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationLogic Programming