Index |

**A**-
architectural specification

argument sorts

argument specification

associativity

atomic formulae

auxiliary

axioms **B**-
basic specification

body **C**-
carrier set

closed

closed

commutativity

compatible

compatible

composition

compound identifier

consequence

consistent

constants

constraints

current signature **D**-
decomposition

definitions

display annotations

downloading **E**-
enrich

equivalence

expansions

extend

extended

extension **F**-
fitting morphism

free extensions

free specification

fully-qualified terms

function **G**-
generated

generic

global directory

global environment **H**-
hidden

homomorphisms **I**-
idempotency

imports

inconsistent

initial

instantiate

institutions **L**-
libraries

linear visibility

linear visibility

local environment

local specification **M**-
many-sorted first-order structure

many-sorted homomorphism

many-sorted model

many-sorted partial algebra

many-sorted reduct

many-sorted sentences

many-sorted signature

many-sorted signature morphism

many-sorted terms

mixfix identifier

mixfix notation

models

morphisms **N**-
named

non-linear visibility

non-linear visibility **O**-
operations

overloaded

overloading relations **P**-
parameters

parameters

partial

partial function symbols

predicate

presentation

profile

proof system **Q**- qualified
**R**-
reduct

reduction

reference

result sort **S**-
satisfaction

self-contained

semantics

sentences

signature morphism

signatures

site

sort-generation constraints

sorts

specialize

specification morphisms

structured specification

subsorted models

subsorted sentences

subsorted signature

subsorted signature morphism

symbol sets

symbols **T**-
token

total function symbols

translated

translation

translation **U**-
union

unit functions

unit (left and right)

united **V**- views
**W**-
well-formed

well-sorted

CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.

Comments to cofi-language@brics.dk

Index |