Module algebra

DOI10.1145/77600.77621zbMath0696.68040MaRDI QIDQ3474270

Jan A. Bergstra, Paul Klint, Jan Heering

Publication date: 1990

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/77600.77621

zbMATH Keywords

modules; specifications; software engineering; information hiding; abstract data types; module algebra; Craig interpolation lemma; algebraic specification module; first-order specification module; module composition; module expression

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68P05: Data structures

68N99: Theory of software

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, Maurer computers for pipelined instruction processing, On the Modularization Theorem for logical specifications, Behavioral abstraction is hiding information, An institution-independent proof of the Robinson consistency theorem, A semantic approach to interpolation, Modular structuring of VDM specifications in VVSL, An algebra for process creation, Specification of abstract dynamic-data types: A temporal logic approach, On local modularity variants and \(\Pi\)-institutions, On a generalized modularization theorem, Amalgamation in the semantics of CASL, Modular specification of process algebras, On local modularity and interpolation in entailment systems., Logical systems for structured specifications., Relating CASL with other specification languages: the institution level., Interpolation in Grothendieck institutions, Manipulating algebraic specifications with term-based and graph-based representations, Development graphs -- proof management for structured specifications, Piecewise initial algebra semantics, Uncertain information: random variables in graded semilattices, Abstract Beth definability in institutions