The following pages link to (Q3917480):
Displaying 7 items.
- Canonical constraints for parameterized data types (Q580959) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)