The following pages link to (Q3677153):
Displayed 8 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← 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)
- Observational proofs by rewriting. (Q1607227) (← links)