Module algebra

DOI10.1145/77600.77621zbMath0696.68040OpenAlexW2293815615MaRDI QIDQ3474270

Jan Heering, Paul Klint, Jan A. Bergstra

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

modulesspecificationssoftware engineeringinformation hidingabstract data typesmodule algebraCraig interpolation lemmaalgebraic specification modulefirst-order specification modulemodule compositionmodule expression

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) Theory of software (68N99)

Related Items (43)

A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Development graphs -- proof management for structured specifications ⋮ Interpolation in Grothendieck institutions ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ Proof systems for structured algebraic specifications: An overview ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ The logic of empirical theories revisited ⋮ Semantic typing for parametric algebraic specifications ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Interpolation for predefined types ⋮ Foundations for structuring behavioural specifications ⋮ Inversive meadows and divisive meadows ⋮ An axiomatic approach to structuring specifications ⋮ An independent axiomatisation for free short-circuit logic ⋮ Grothendieck inclusion systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modular structuring of VDM specifications in VVSL ⋮ Piecewise initial algebra semantics ⋮ On the Modularization Theorem for logical specifications ⋮ Unnamed Item ⋮ An algebra for process creation ⋮ The institution-theoretic scope of logic theorems ⋮ Uncertain information: random variables in graded semilattices ⋮ Property-oriented semantics of structured specifications ⋮ On the algebra of structured specifications ⋮ Behavioral abstraction is hiding information ⋮ A categorical study on the finiteness of specifications ⋮ Amalgamation in the semantics of CASL ⋮ Maurer computers for pipelined instruction processing ⋮ A semantic approach to interpolation ⋮ Modular specification of process algebras ⋮ Interpolation in computing science: The semantics of modularization ⋮ Abstract Beth definability in institutions ⋮ On local modularity and interpolation in entailment systems. ⋮ Logical systems for structured specifications. ⋮ Relating CASL with other specification languages: the institution level. ⋮ Non-commutative propositional logic with short-circuit evaluation ⋮ Generalised graded interpolation ⋮ On local modularity variants and \(\Pi\)-institutions ⋮ On a generalized modularization theorem

This page was built for publication: Module algebra