Pages that link to "Item:Q4847374"
From MaRDI portal
The following pages link to A Calculus of Higher-Order Parameterization for Algebraic Specifications (Q4847374):
Displaying 7 items.
- \(QPC_ 2\): A constructive calculus with parameterized specifications (Q1322848) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- On the power of higher-order algebraic specification methods (Q1908358) (← links)
- (Q3809236) (← links)
- Semantic typing for parametric algebraic specifications (Q5096390) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900819) (← links)