Go backward to
References
Go up to
Top
Go forward to
Appendices
Index
architectural specification
argument sorts
argument specification
associativity
atomic formulae
auxiliary
axioms
basic specification
basic specification framework
body
carrier set
closed
closed
commutativity
compatible
compatible
composition
consequence
consistent
constants
constraints
current signature
decomposition
definitions
display annotations
downloading
enrich
equivalence
expansions
extend
extended
extension
fitting morphism
free extensions
free specification
fully-qualified terms
function
generated
generic
global directory
global environment
hidden
homomorphisms
idempotency
imports
inconsistent
initial
instantiate
institutions
libraries
linear visibility
linear visibility
local environment
local specification
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
named
non-linear visibility
operations
overloaded
overloading relations
parameters
parameters
partial
partial function symbols
place-holders
predicate
presentation
profile
proof system
qualified
reduct
reduction
reference
result sort
satisfaction
self-contained
semantics
sentences
signature morphism
signatures
site
sort-generation constraints
sorts
specialize
structured specification
subsorted models
subsorted sentences
subsorted signature
subsorted signature morphism
symbol sets
symbols
token
total function symbols
translated
translation
translation
union
unit functions
unit (left and right)
united
views
well-formed
well-sorted
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
