Task TWP1 Clarication of functionalities Selection of the tools

Niveau: Supérieur, Master, Bac+4
CP Debugging Tools Task TWP1.1: Clarication of functionalities. Selection of the tools Deliverable: Draft report D.WP1.1.M1.1 Release: 6 June 10, 1997 A. Aggoun F. Benhamou F. Bueno M. Carro P. Deransart W. Drabent G. Ferrand F. Goualard M. Hermenegildo C. Lai J. Lloyd J. Ma luszynski G. Puebla A. Tessier

• tools related


• program


• abstract interpretation


• showing control


• methodology


• constraint programs


• show also


• tools


• debugging tools