Index

The entries in the alphabetic index consists of selected words and symbols from the body files of this manual - these are in bold font - as well as the identifiers defined in the public interfaces of the libraries - set in regular font.
In the manual, the entries, which can be found in the index are typeset like this. This can help localizing the identifier, when the link from the index if followed - especially in the case where the browser does not scroll the line to the top, e.g. because there is less than a page of text left.
In the small table of letters and symbols below, each entry links directly to the section of the index containing entries starting with the corresponding letter or symbol.

# & > ( - / : @ [ ^ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |

#

##
 #)

&

& [2] [3]
 &|

(

(#
(E).P
 (for
(if

-

-> [2] [3]

/

// [2]

:

: ##
: @
: @|
: [range]
 : ^
: ^|
:
:: [2]
 ::< [2]
:< [2]

>

>

@

@
 @|

[

[] [2]

^

^

A

Abstract superpattern
action object
Action part
action part [2] [3]
Action specialisation
actions
 Aggregation
alternates
Application of a name
array
attribute declarations
attribute description
 attribute name
attribute part and an action part.
Attribute part
Attribute reference
attributes [2]

B

Basic Constructs
Basic pattern
behaviorally equivalent
BETA program execution
 binding
Block Structure and Scoping
Block structure
block-structure [2]
 boolean
booleanObject
box

C

char
charObject
class pattern attributes
class pattern
Class pattern
classification
Classification
component
Composite Types
 composite types
Composition
Computed Remote access
conc
concept
Conceptual Framework
Concurrency
concurrency
concurrent execution
 concurrent process
concurrently
control patterns
Control structure
control structures [2]
coroutine [2]
Coroutines and Concurrency
Coroutines

D

data object
Declaration of a name
Declaration or attribute declaration
Declarations and Object Descriptors
descriptor [2]
Deterministic coroutines
Direct subpattern
 direct subpattern
direct
directly qualified
Do part
do-part
do [2]
Dynamic object creation / generation
 dynamic object creation
dynamic objects
Dynamic reference declaration
dynamic reference [2] [3]
Dynamic reference
dynamic references

E

E.P
else [2]
enclosing object
enclosing objects
enter parameters
Enter part
 enter-part
enter [2]
Evaluation imperative
evaluations
executing
execution thread
 Exit part
exit-part
exit [2]
extend [2]
extended descriptor

F

final binding
Final binding of a virtual pattern
For imperative
 for)
for [2]
fork
 Function call
Function pattern
Further binding of a virtual pattern

G

General-if imperative
 Global attribute reference
 global

I

if)
if [2]
Imperative
imperative [2]
imperatives
Imperatives
indentation
 Indexed collection of static / dynamic references
inheritance
Inheritance
inheritance
inherits
inner [2] [3]
input parameters
 Inserted item
Inserted Objects
instances of the pattern
instances
integer
integerObject
iteration

J

Jump imperative
 jump imperatives

K

Kinds of actions

L

L: Imp
labeled
Labelled imperative
 Language Concepts
Leave imperative [2]
leave L
 leave [2]
Local attribute reference of a pattern
local

M

main part
Main part
main-part
measurable properties
 Measurable property
Mjølner System
modeling
Modelling
 Multiple assignment
multiple inheritance [2]
must be a dynamic object reference.
must be a dynamic pattern reference.

N

Nested Patterns
nesting
new [2] [3]
 non-virtual pattern attribute
NONE [2] [3]
none
 NONE [2]

O

object-descriptor
Object-descriptor
Object-oriented programming
 Object
Objects
objects
 Objects
origin
output parameter

P

parameter
parameterized patterns
parameters
Part object
part objects
part-object [2] [3]
Pattern assignment
Pattern Attributes
Pattern declaration
pattern defined objects
Pattern equality
 pattern name
Pattern reference declaration
Pattern reference
Pattern variable declaration
pattern variable
Pattern [2]
pattern
Patterns and Objects
phenomenon
physical model
Powerful Abstraction Mechanisms
 prefix part
Prefix part
prefix pattern
prefix
Procedure call
procedure pattern [2]
Procedure pattern
procedure
Program

Q

qualified

R

R[]
R[i:j]
R[i]
range
real
realObject
Reference assignment [2]
reference assignments
 reference attribute [2]
Reference attribute
Reference Attributes
Reference equality
reference operator
Reference to separate object
Remote access
rendezvous
 repeat [2]
repetition
Repetitions
representation
Restart imperative [2]
restart L
restart [2]
resume

S

scan
Scope of a declaration
selection [2]
Separate object
simple types
Simple-if imperative
Singular object declaration
Singular object
Singular Objects
singular
 slice
State
static reference)
static objects
Static reference declaration
static reference
Static reference
static references
static variable
strongly typed
 structural equivalence
structure object
subpattern [2]
Subpattern
subpattern [2]
Superpattern as qualification
superpattern [2]
suspend [2] [3]

T

templates
Terminology
text constant
 then [2]
this(P)
this(P)[]
 this
thread

V

value assignment [2]
Value assignment
Value equality
Virtual Class Pattern
virtual class pattern
 virtual pattern attribute
Virtual pattern
Virtual Pattern
virtual pattern
Virtual Patterns
 virtual procedure pattern
Virtual Procedure Pattern
virtual procedure pattern
virtual

|

|

BETA Language Introduction: Index
 © 1994-2004 Mjølner Informatics
[Generated: Tuesday June 29th 2004 at 13:16]