Pages that link to "Item:Q1177929"
From MaRDI portal
The following pages link to Unfold/fold transformation of stratified programs (Q1177929):
Displaying 8 items.
- Transformations of CLP modules (Q671648) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
- Linearisability on Datalog programs (Q1884881) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- Totally correct logic program transformations via well-founded annotations (Q2271905) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- Transformations of logic programs on infinite lists (Q3585155) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
