Pages that link to "Item:Q1090101"
From MaRDI portal
The following pages link to A characterization of passing compatibility for parameterized specifications (Q1090101):
Displaying 4 items.
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Specification of parameterized programs -- persistency revisited (Q2765922) (← links)
- Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663) (← links)
- Proofs in parameterized specifications (Q5055758) (← links)