Pages that link to "Item:Q1056226"
From MaRDI portal
The following pages link to Parameter passing in algebraic specification languages (Q1056226):
Displaying 7 items.
- Canonical constraints for parameterized data types (Q580959) (← links)
- Algebraic and operational semantics of specifications allowing exceptions and errors (Q759478) (← links)
- On the implementation of abstract data types by programming language constructs (Q1089793) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q3986951) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
