Reasoning about prolog programs : from modes trough types to assertions

Authors
Krzysztof R.Apt Elena Marchiori
Citation
Krzysztof R.apt et Elena Marchiori, Reasoning about prolog programs : from modes trough types to assertions, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 743-765
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
6A
Year of publication
1994
Pages
743 - 765
Database
ACNP
SICI code