scientific article; zbMATH DE number 3997131

zbMath0615.68002MaRDI QIDQ4723263

Joseph A. Goguen, Rod M. Burstall

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

generic modulestruthlogical systemsignaturesdata abstractionnotationinitial algebragalleriestheorem proversdata constraintsprogramming-in-the-largelogical programming languagemodule hierarchies\(\Sigma \)-models\(\Sigma \)-satisfaction\(\Sigma \)-sentencescharterClear specification languagemany-sorted equational institutionmodel proofsParchmentssentence morphismssentential syntaxsyntax of logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (19)

Structured theory presentations and logic representations ⋮ Annotations in formal specifications and proofs ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Institutions of variable truth values: An approach in the ordered style ⋮ Category localization semantics for specification refinements ⋮ Category-based modularisation for equational logic programming ⋮ Topological systems as a framework for institutions ⋮ Proving and rewriting ⋮ What is a logic translation? ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ Term charters ⋮ Representing model theory in a type-theoretical logical framework ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Parchments for CafeOBJ Logics ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ A 2-categorial generalization of the concept of institution ⋮ An institution-independent proof of the Beth definability theorem ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Institutions for OCL-Like Expression Languages

This page was built for publication: