The following pages link to (Q3031906):
Displaying 16 items.
- On the algebra of structured specifications (Q549182) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Institutions for logic programming (Q1391732) (← links)
- On the power of higher-order algebraic specification methods (Q1908358) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
- (Q3707383) (← links)
- (Q4430324) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- A general framework for modular implementations of modular system specifications (Q5044736) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
- An Informal Approach to Formal (Algebraic) Specifications (Q5184389) (← links)
- Generalization of final algebra semantics by relativization (Q5887520) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)
