Parameterized Programming

DOI10.1109/TSE.1984.5010277zbMath0545.68017OpenAlexW2295902379MaRDI QIDQ3334970

Joseph A. Goguen

Publication date: 1984

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1984.5010277

zbMATH Keywords

interfacesprogram transformationlogic programmingmodularizationadaptabilityAda library systemParameterized programmingreliable reuse softwareReusability

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99)

Related Items (16)

FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Categorical aspects of data type constructors ⋮ Proofs in parameterized specifications ⋮ Specification and verification of object-oriented programs using supertype abstraction ⋮ Modular algebraic specification of some basic geometrical constructions ⋮ Essential concepts of algebraic specification and program development ⋮ The Maude strategy language ⋮ Algebraic approach to the problem of solving systems of linear inequalities ⋮ Uniformly constructive monads ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ Unnamed Item ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations ⋮ Inherited extension of many-sorted theories ⋮ A hidden agenda ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited

This page was built for publication: Parameterized Programming