The following pages link to Parameterized Programming (Q3334970):
Displaying 16 items.
- Categorical aspects of data type constructors (Q1094129) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- A hidden agenda (Q1575735) (← links)
- Inherited extension of many-sorted theories (Q1816347) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Algebraic approach to the problem of solving systems of linear inequalities (Q1957004) (← links)
- (Q3986951) (← links)
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY (Q4781450) (← links)
- Proofs in parameterized specifications (Q5055758) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
- The Maude strategy language (Q6113021) (← links)
