Pages that link to "Item:Q997992"
From MaRDI portal
The following pages link to Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas (Q997992):
Displaying 3 items.
- Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas (Q624386) (← links)
- Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas (Q649588) (← links)
- On the computational complexity of dynamic slicing problems for program schemas (Q3103616) (← links)
