Pages that link to "Item:Q4452602"
From MaRDI portal
The following pages link to Composing programs in a rewriting logic for declarative programming (Q4452602):
Displaying 6 items.
- Rewriting of imperative programs into logical equations (Q2486260) (← links)
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
- (Q3076189) (← links)
- (Q3798292) (← links)
- An approach to declarative programming based on a rewriting logic (Q4700443) (← links)
- Abstract domains for reordering CLP(RLin) programs (Q4943436) (← links)