Search Results - "Automatic Programming|Program verication General Terms"

Termination of Simply Moded Logic Programs with Dynamic Scheduling

Authors: Annalisa Bossi Sandro Etalle Cwi Amsterdam et al.

Contributors: Annalisa Bossi Sandro Etalle Cwi Amsterdam et al.

Source: http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz.

Subject Terms: Deduction and Theorem Proving|Logic programming, I.2.2 [Articial Intelligence, Automatic Programming|Program verication General Terms, Languages, Verication, Termination Additional Key Words and Phrases, Logic programs, dynamic scheduling, simply moded, termination

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239; http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239
http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz