scientific article; zbMATH DE number 3997131
zbMATH Open0615.68002MaRDI QIDQ4723263FDOQ4723263
Authors: Joseph Goguen, Rod Burstall 
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
truthdata abstractiongeneric modulessignatureslogical systemnotationinitial 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
General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (26)
- May I borrow your logic? (Transporting logical structures along maps)
- Specifications in an arbitrary institution
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Representing model theory in a type-theoretical logical framework
- Title not available (Why is that?)
- Title not available (Why is that?)
- A 2-categorial generalization of the concept of institution
- Logical systems for structured specifications.
- Category-based modularisation for equational logic programming
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Institutions of variable truth values: An approach in the ordered style
- Category localization semantics for specification refinements
- Annotations in formal specifications and proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Institutions for OCL-Like Expression Languages
- What is a logic translation?
- Term charters
- An institution-independent proof of the Beth definability theorem
- Topological systems as a framework for institutions
- Structured theory presentations and logic representations
- Institutions: abstract model theory for specification and programming
- Parchments for CafeOBJ Logics
- Category theory and the foundations of mathematics: philosophical excavations.
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Proving and rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723263)
