Publication:4723263
From MaRDI portal
zbMath0615.68002MaRDI QIDQ4723263
Joseph A. Goguen, Rod M. Burstall
Publication date: 1986
generic modules; truth; logical system; signatures; data abstraction; notation; initial algebra; galleries; theorem provers; data constraints; programming-in-the-large; logical programming language; module hierarchies; \(\Sigma \)-models; \(\Sigma \)-satisfaction; \(\Sigma \)-sentences; charter; Clear specification language; many-sorted equational institution; model proofs; Parchments; sentence morphisms; sentential syntax; syntax of logic
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
68N01: General topics in the theory of software
Related Items
An institution-independent proof of the Beth definability theorem, Toward formal development of programs from algebraic specifications: Implementations revisited, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Structured theory presentations and logic representations, Annotations in formal specifications and proofs, May I borrow your logic? (Transporting logical structures along maps), Category theory and the foundations of mathematics: philosophical excavations., Institutions of variable truth values: An approach in the ordered style, Category-based modularisation for equational logic programming, Category localization semantics for specification refinements