Pages that link to "Item:Q1163361"
From MaRDI portal
The following pages link to Algebraic implementation of abstract data types (Q1163361):
Displaying 32 items.
- On the correctness of modular systems (Q674009) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors (Q1082804) (← links)
- On the implementation of abstract data types by programming language constructs (Q1089793) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Correctness proofs for abstract implementations (Q1119388) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- An incremental approach to automatic algorithm design (Q1964361) (← links)
- Abstract implementation of algebraic specifications in a temporal logic language (Q2277861) (← links)
- (Q3197342) (← links)
- (Q3482823) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← 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)
