Pages that link to "Item:Q1346622"
From MaRDI portal
The following pages link to Functorial theory of parameterized specifications in a general specification framework (Q1346622):
Displaying 14 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Generic constructions for behavioral specifications (Q764311) (← links)
- On the complexity of specification morphisms (Q1389688) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Institutions for SQL database schemas and datasets (Q2185885) (← links)
- A diagrammatic logic for object-oriented visual modeling (Q2864376) (← links)
- A parameterization process: from a functorial point of view (Q2909193) (← links)
- Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272) (← links)
- Categorical concepts for parameterized partial specifications (Q4856659) (← links)
- Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)