Proving correctness of constraint logic programs with dynamic scheduling

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Third International Static Analysis Symposium
Editors	R. Cousot, D. Schimdt
Pages	83-97
Number of pages	15
Publication status	Published - 1996

Cite this

@inproceedings{86c94151069d4b199f9ac2ed91e72ede,

title = "Proving correctness of constraint logic programs with dynamic scheduling",

author = "\{de Boer\}, F.S. and M. Gabbrielli and C. Palamidessi",

year = "1996",

language = "Undefined/Unknown",

pages = "83--97",

editor = "R. Cousot and D. Schimdt",

booktitle = "Proceedings of the Third International Static Analysis Symposium",

}