Pages that link to "Item:Q1346766"
From MaRDI portal
The following pages link to Reasoning about prolog programs: From modes through types to assertions (Q1346766):
Displaying 10 items.
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- Design of abstract domains using first-order logic (Q1960541) (← links)
- On the verification of finite failure (Q2575838) (← links)
- Type inference for mobile ambients in Prolog (Q2845519) (← links)
- (Q4013975) (← links)
- (Q4421877) (← links)
- A simple correctness proof for magic transformation (Q4897705) (← links)
- Automated modular termination proofs for real Prolog programs (Q5030196) (← links)
- Modules and specifications (Q5236441) (← links)
- Determinacy Analysis for Logic Programs Using Mode and Type Information (Q5458791) (← links)