Analysis and Visualization Tools for Constraint Programming: Constraint Debuggin
69,04 €
I. Correctness Debugging. - An Assertion Language for Constraint Logic Programs. - A Generic Preprocessor for Program Validation and Debugging. - Assertions with Constraints for CLP Debugging. - Locating Type Errors in Untyped CLP Programs.
Jetzt bei Ebay: