Krzysztof R Apt

1949

• Constraint Logic Programming using Eclipse
• A sound and complete Hoare-like system for a fragment of Pascal