Publication | Closed Access

Generalized semantics and abstract interpretation for constraint logic programs

EngineeringAutomated ReasoningConstraint Logic ProgramsFormal MethodsWell-founded SemanticsSemanticsLogic ProgrammingConstraint Programming