Logic programs as types for logic programs
Proceedings 1991 Sixth Annual IEEE Symposium on …, 1991 - computer.org
Optimistic type systems for logic programs are considered. In such systems types are
conservative approximations to the success set of the program predicates. The use of logic …
conservative approximations to the success set of the program predicates. The use of logic …
Logic programs as types for logic programs
T FRUHWIRTH, E SHAPIRO… - … on Logic in …, 1991 - weizmann.esploro.exlibrisgroup.com
Optimistic type systems for logic programs are considered. In such systems types are
conservative approximations to the success set of the program predicates. The use of logic …
conservative approximations to the success set of the program predicates. The use of logic …
Logic programs as types for logic programs
T FRUHWIRTH, E SHAPIRO… - … SYMP ON LOGIC …, 1991 - weizmann.elsevierpure.com
Optimistic type systems for logic programs are considered. In such systems types are
conservative approximations to the success set of the program predicates. The use of logic …
conservative approximations to the success set of the program predicates. The use of logic …
Logic programs as types for logic programs
T FRUHWIRTH, E SHAPIRO… - … on Logic in …, 1991 - … .esploro.exlibrisgroup.com
Optimistic type systems for logic programs are considered. In such systems types are
conservative approximations to the success set of the program predicates. The use of logic …
conservative approximations to the success set of the program predicates. The use of logic …
Logic programs as types for logic programs
T Fruhwirth, E Shapiro, MY Vardi… - … Sixth Annual IEEE …, 1991 - ieeexplore.ieee.org
Optimistic type systems for logic programs are considered. In such systems types are
conservative approximations to the success set of the program predicates. The use of logic …
conservative approximations to the success set of the program predicates. The use of logic …
Logic programs as types for logic programs
T FRUHWIRTH, E SHAPIRO… - … on Logic in …, 1991 - … .esploro.exlibrisgroup.com
Optimistic type systems for logic programs are considered. In such systems types are
conservative approximations to the success set of the program predicates. The use of logic …
conservative approximations to the success set of the program predicates. The use of logic …
Logic programs as types for logic programs
T FRUHWIRTH, E SHAPIRO… - … on Logic in …, 1991 - weizmann.esploro.exlibrisgroup.com
Optimistic type systems for logic programs are considered. In such systems types are
conservative approximations to the success set of the program predicates. The use of logic …
conservative approximations to the success set of the program predicates. The use of logic …