Go backward to Appendix C: Proposed Changes
Go up to Top
Go forward to Footnotes

Index

  • abstract syntax
  • architectural specification
  • argument sorts
  • argument specification
  • atomic formulae
  • axioms
  • basic specification
  • basic specification framework
  • carrier set
  • compatible
  • compatible
  • composition
  • consequence
  • consistent
  • constants
  • constraints
  • current signature
  • decomposition
  • definitions
  • downloading
  • equivalence
  • expansion
  • explicitly-sorted term
  • extend
  • extended
  • fitting morphism
  • fully-qualified terms
  • function
  • function symbols
  • generated
  • generic
  • global environment
  • hidden
  • homomorphisms
  • inconsistent
  • initial
  • instantiates
  • institutions
  • libraries
  • linear visibility
  • local environment
  • many-sorted first-order structure
  • many-sorted homomorphism
  • many-sorted model
  • many-sorted partial algebra
  • many-sorted sentences
  • many-sorted signature
  • many-sorted signature morphism
  • many-sorted terms
  • models
  • morphisms
  • named
  • overloaded
  • parameters
  • partial
  • pre-declared symbols
  • predicate
  • presentation
  • profile
  • proof system
  • reduct
  • reference
  • referential transparency
  • result sort
  • satisfaction
  • self-contained
  • sentences
  • signature morphism
  • signatures
  • site
  • sort-generation constraints
  • sorts
  • structured specification
  • subsorted models
  • subsorted sentences
  • subsorted signature
  • subsorted signature morphism
  • translated
  • translation
  • unit constructor functions
  • united
  • URL
  • well-formed
  • well-sorted

    • CoFI Tentative Document: LanguageSummary --Version 0.95-- March 6, 1997.
    Comments to cofi-language@brics.dk