Abstract
An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.
Preview
Unable to display preview. Download preview PDF.
References
R.M. Burstall and J.A. Goguen, The semantics of CLEAR, a specification language, in: Abstract software specifications, LNCS 86, Springer-Verlag (1980) 292–332
J.A. Bergstra, J. Heering, P. Klint, Module algebra, Journal of the ACM 37 (1990) 335–372
H. Ehrig and B. Mahr, Fundamentals of algebraic specification 1, Equations and initial semantics, Springer-Verlag, 1985
H. Ehrig and B. Mahr, Fundamentals of algebraic specifications 2, Module specifications and constraints, Springer-Verlag, 1990
M.-C. Gaudel, Toward structured algebraic specifications, in: Esprit '85: Status report of continuing work, vol. 1, North-Holland (1986) 493–510
L. Henkin, An extension of the Craig-Lyndon interpolation theorem, The Journal of Symbolic Logic 28 (1963) 201–216
T.S.E. Maibaum and M.R. Sadler, Axiomatising specification theory, in: H.-J. Kreowski (ed.), Recent trends in data type specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Informatik-Fachberichte 116, Springer-Verlag (1985) 171–177
D. Pigozzi, The join of equational theories, Colloquium Mathematicum 30 (1974), 15–25
A.M. Pitts, On an interpretation of second order quantification in first order intuitionistic propositional logic, to appear in The Journal of Symbolic Logic
G.R. Renardel de Lavalette, Modularisation, parametrisation, interpolation, Journal of Information Processing and Cybernetics EIK 25 (1989) 283–292
G.R. Renardel de Lavalette, COLD-K2, the Static Kernel of COLD-K, Report RP/mod-89/8, Software Engineering Research Centre, Utrecht, 1989
P.H. Rodenburg, On the ω-completeness of a fragment of module algebra, manuscript (1990)
P.H. Rodenburg, A simple algebraic proof of the equational interpolation theorem, Algebra Universalis 28 (1991) 48–51
P.H. Rodenburg, Interpolation in conditional equational logic, Fundamenta Informaticae 15 (1991) 80–85
P.H. Rodenburg, Interpolation in equational logic, Report P9201, Programming Research Group, University of Amsterdam, 1992
M. Wirsing, Structured algebraic specifications: a kernel language, Habilitationsschrift, Institut für Informatik, Technische Universität, München, 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Renardel de Lavalette, G.R. (1992). Logical semantics of modularisation. In: Börger, E., Jäger, G., Kleine Büning, H., Richter, M.M. (eds) Computer Science Logic. CSL 1991. Lecture Notes in Computer Science, vol 626. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023776
Download citation
DOI: https://doi.org/10.1007/BFb0023776
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55789-0
Online ISBN: 978-3-540-47285-8
eBook Packages: Springer Book Archive