Pages that link to "Item:Q1177929"
From MaRDI portal
The following pages link to Unfold/fold transformation of stratified programs (Q1177929):
Displaying 14 items.
- Transformations of CLP modules (Q671648) (← links)
- Preservation of stronger equivalence in unfold/fold logic program transformation (Q915479) (← links)
- STG decomposition strategies in combination with unfolding (Q1031867) (← 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)
- Unfolding for CHR programs (Q4592981) (← links)
- (Q5020987) (← links)
- Generalization strategies for the verification of infinite state systems (Q5299583) (← links)
- Program Development in Computational Logic (Q5712537) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)