Pages that link to "Item:Q3936177"
From MaRDI portal
The following pages link to On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types (Q3936177):
Displayed 26 items.
- On the Modularization Theorem for logical specifications (Q674000) (← links)
- Algebraic and operational semantics of specifications allowing exceptions and errors (Q759478) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- Algebraic domain equations (Q1054464) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- The equational theory of parameterized specifications (Q1111364) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- On pushout consistency, modularity and interpolation for logical specifications (Q1350924) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- Abstract implementation of algebraic specifications in a temporal logic language (Q2277861) (← links)
- A categorical manifesto (Q4713397) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)