Research graph
References from Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/151646.151650
10.1145/151646.151650 · External reference
10.1016/0743-1066(93)90011-5
10.1016/0743-1066(93)90011-5 · External reference
10.1016/0304-3975(84)90119-1
10.1016/0304-3975(84)90119-1 · External reference
10.1145/321978.321991
10.1145/321978.321991 · External reference
10.1016/0743-1066(92)90030-7
10.1016/0743-1066(92)90030-7 · External reference
10.1016/0304-3975(89)90070-4
10.1016/0304-3975(89)90070-4 · External reference
10.1145/181748.181753
10.1145/181748.181753 · External reference
10.1016/0743-1066(92)90031-w
10.1016/0743-1066(92)90031-w · External reference
10.1016/0167-6423(92)90038-d
10.1016/0167-6423(92)90038-d · External reference
