论文信息 - Improving the JMLE Tool's Constraint Solving on Sets - 字舞流文

Improving the JMLE Tool's Constraint Solving on Sets

Dickinson Scholar

[1] Peter J. Stuckey,et al. Programming with Constraints: An Introduction , 1998 .

[2] Fabrice Bouquet,et al. Symbolic Animation of JML Specifications , 2005, FM.

[3] Tim Wahls,et al. jmle: A Tool for Executing JML Specifications Via Constraint Programming , 2006, FMICS/PDMC.

[4] David Thomas,et al. The Pragmatic Programmer: From Journeyman to Master , 1999 .

[5] Wolfgang Grieskamp,et al. A Computation Model for Z Based on Concurrent Constraint Resolution , 2000, ZB.

[6] Fabrice Bouquet,et al. CLPS-B - A Constraint Solver for B , 2002, TACAS.

[7] Slim Abdennadher,et al. JACK: A Java Constraint Kit , 1999, Electron. Notes Theor. Comput. Sci..