The following pages link to (Q3667921):
Displaying 20 items.
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Codatatypes in ML (Q908682) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- Partial evaluation and \(\omega\)-completeness of algebraic specifications (Q1084849) (← links)
- Free semiring-representations and nondeterminism (Q1085968) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- (Q5020960) (← links)
- Proving and rewriting (Q5096184) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
