Pages that link to "Item:Q1243118"
From MaRDI portal
The following pages link to The algebraic specification of abstract data types (Q1243118):
Displayed 27 items.
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness (Q582891) (← links)
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- Transformations and confluence for rewrite systems (Q672232) (← links)
- Modal logic and algebraic specifications (Q685423) (← links)
- Automating inductionless induction using test sets (Q758216) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- On the data type extension problem for algebraic specifications (Q801668) (← links)
- Two congruent semantics for Prolog with CUT (Q805227) (← links)
- A view of computability on term algebras (Q1051428) (← links)
- Proof by consistency (Q1094888) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Equational problems and disunification (Q1124372) (← links)
- About the implementability and the power of equationally defined data abstractions (Q1157900) (← links)
- Abstract data types and algebraic semantics of programming languages (Q1171877) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Methodical solution of the problem of ascending subsequences of maximum length within a given sequence (Q1257765) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Software perfective maintenance: Including retrainable software in software reuse (Q1328513) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- Approximation properties of abstract data types (Q1838281) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Synthesizing implementations of abstract data types from axiomatic specifications (Q3026329) (← links)
- (Q3197342) (← links)
- Comparing data type specifications via their normal forms (Q3949956) (← links)