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]