Go backward to
Appendix C: Changes from the Tentative Design
Go up to
Top
Go forward to
Footnotes
Index
abstract syntax
architectural specification
argument sorts
argument specification
associative
atomic formulae
axioms
basic specification
basic specification framework
carrier set
commutative
compatible
compatible
composition
consequence
consistent
constants
constraints
current signature
decomposition
definitions
downloading
equivalence
expansions
extend
extended
fitting morphism
fully-qualified terms
function
function symbols
generated
generic
global environment
hidden
homomorphisms
idempotent
inconsistent
initial
instantiates
institutions
libraries
linear visibility
linear visibility
local environment
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
models
morphisms
named
non-linear visibility
overloaded
parameters
partial
predicate
presentation
profile
proof system
reduct
reference
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
unit constructor functions
united
URL
well-formed
well-sorted
CoFI
Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to
cofi-language@brics.dk
