Parameterized Programming
From MaRDI portal
Publication:3334970
DOI10.1109/TSE.1984.5010277zbMath0545.68017MaRDI QIDQ3334970
Publication date: 1984
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
interfaces; program transformation; logic programming; modularization; adaptability; Ada library system; Parameterized programming; reliable reuse software; Reusability
Related Items
FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY, Categorical aspects of data type constructors, Modular algebraic specification of some basic geometrical constructions, Uniformly constructive monads, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Toward formal development of programs from algebraic specifications: Parameterisation revisited, Another look at parameterization for oder-sorted algebraic specifications, Essential concepts of algebraic specification and program development, A hidden agenda, Inherited extension of many-sorted theories, Specification and verification of object-oriented programs using supertype abstraction, Unnamed Item