Pages that link to "Item:Q4934231"

The following pages link to Operational and goal-independent denotational semantics for Prolog with cut (Q4934231):

Displaying 3 items.

• Proving completeness of logic programs with the cut (Q511027) (← links)
• A theory of observables for logic programs (Q1854446) (← links)
• A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics (Q3498435) (← links)