Pages that link to "Item:Q1318723"
From MaRDI portal
The following pages link to A denotational semantics and dataflow construction for logic programs (Q1318723):
Displaying 6 items.
- Transformation of logic programs to FP programs based on dataflows (Q1338343) (← links)
- Defining Datalog in Rewriting Logic (Q3558298) (← links)
- (Q3798292) (← links)
- Bottom-up dataflow analysis of normal logic programs (Q4012707) (← links)
- Efficient dataflow analysis of logic programs (Q4302797) (← links)
- A generic algebra for data collections based on constructive logic (Q5096406) (← links)