Parameterized Programming

DOI10.1109/TSE.1984.5010277MaRDI QIDQ3334970zbMATH OpenOpenAlexFDO

Authors Joseph 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

Ada library systemadaptabilityinterfaceslogic programmingmodularizationParameterized programmingprogram transformationreliable reuse softwareReusability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3976295
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• scientific article; zbMATH DE number 4164121
• Dynamic composition of parameterised logic modules
• Parameterized theories and views in full Maude 2. 0

Cited in

(23)

• Categorical aspects of data type constructors
• Modular algebraic specification of some basic geometrical constructions
• Uniformly constructive monads
• An approach to the systematic application of ATD and parametric programming
• 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
• Algebraic approach to the problem of solving systems of linear inequalities
• Parameterized theories and views in full Maude 2. 0
• scientific article; zbMATH DE number 3976295 (Why is no real title available?)
• scientific article; zbMATH DE number 30668 (Why is no real title available?)
• scientific article; zbMATH DE number 1305486 (Why is no real title available?)
• scientific article; zbMATH DE number 1471810 (Why is no real title available?)
• scientific article; zbMATH DE number 1931761 (Why is no real title available?)
• FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
• Proofs in parameterized specifications
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Algebra and Coalgebra in Computer Science
• The Maude strategy language

This page was built for publication: Parameterized Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334970)