Pages that link to "Item:Q759479"
From MaRDI portal
The following pages link to Compatibility of parameter passing and implementation of parameterized data types (Q759479):
Displaying 6 items.
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Procedural implementation of abstract data types: Concept and connection with parametrization (Q3988859) (← links)
- Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)