The following pages link to (Q3954805):
Displayed 14 items.
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- A set-theoretic semantics for Clear (Q791329) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- (Q3482823) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Observational implementations (Q5096143) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)