Failure tabled constraint logic programming by interpolation

Graeme Gange; Jorge A Navas; Peter Schachte; Harald Sondergaard; Peter J Stuckey

Journal article

Failure tabled constraint logic programming by interpolation

Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2013

DOI: 10.1017/S1471068413000379

University of Melbourne Researchers

Peter Schachte Author Computing and Information Systems

Jorge Navas Laserna Author Computing and Information Systems

Harald Sondergaard Author Computing and Information Systems

Peter Stuckey Author Computing and Information Systems

Graeme Gange Author Computing and Information Systems

Related Projects (1)

Automatic Software Verification: Harnessing Constraint Technologies

As we come to rely on software to manage more and more aspects of our lives, the importance of software reliability increases; yet as progra..

Grants

Awarded by Australian Research Council through Discovery Project Grant

Funding Acknowledgements

We wish to thank Jose. F. Morales for providing support integrating MathSAT into Ciao and Manuel Carro and Corneliu Popeea for fruitful discussions about tabling and interpolation, respectively. We acknowledge support of the Australian Research Council through Discovery Project Grant DP110102579.