BETA Language Introduction

Contents

1 Introduction

1.1 Language Concepts

1.2 Powerful Abstraction Mechanisms


1.2.1 The pattern
1.2.2 Subpattern
1.2.3 Virtual pattern

1.3 Pattern variable

1.4 Coroutines and concurrency

1.5 Identification of Objects


1.5.1 Class-less objects

1.6 Classification

1.7 Composition (Aggregation)

1.8 Inheritance

1.9 Conceptual Framework


1.9.1 Modeling

2 Basic Constructs

2.1 Simple Types and Values

2.2 Simple Static Variables

2.3 Simple Assignments


2.3.1 Value assignment

2.4 Control Structures


2.4.1 if
2.4.2 for
2.4.3 descriptor
2.4.4 labeled descriptor
2.4.5 labeled imperative

2.5 Static and Dynamic Variables


2.5.1 Reference attributes
2.5.2 Static Reference
2.5.3 Dynamic reference
2.5.4 Reference assignment

2.6 Repetitions

2.7 Composite Types (Records)


2.7.1 Pattern

3 Patterns and Objects

3.1 Pattern Employee

3.2 Elements of Employee

3.3 Class and procedure patterns

3.4 Subpatterns of Employee

3.5 Part object

3.6 Dynamic reference

3.7 Singular Objects

3.8 Subprocedure


3.8.1 Abstract procedure pattern

3.9 Control Patterns


3.9.1 scan is a control pattern
3.9.2 Using a control pattern

3.10 Nested Patterns

3.11 BETA supports general block-structure

3.12 Nested Class Patterns

4 Virtual Pattern

4.1 Structural equivalence is used in BETA

4.2 Patterns A and AA

4.3 Combined descriptor

4.4 Pattern AB

4.5 Pattern AAA

4.6 Final binding

4.7 Virtual Procedure Pattern


4.7.1 ComputeSalary is a virtual procedure pattern

4.8 Virtual Class Pattern


4.8.1 type is a virtual class pattern
4.8.2 General parameterized patterns

5 Coroutines and Concurrency

5.1 Components with execution threads

5.2 Coroutines


5.2.1 Suspending and resuming

5.3 Concurrency

5.4 Monitor Example


5.4.1 Procedure pattern conc
5.4.2 Rendezvous Example
5.4.3 More information

6 Inheritance


6.1 Classification and inheritance
6.2 Inheritance from part-objects

7 BETA Terminology


7.1 Modelling
7.2 Declarations and Object Descriptors
7.3 Reference Attributes
7.4 Pattern Attributes
7.5 Imperatives
7.6 Block Structure and Scoping
7.7 Inserted Objects
7.8 Inheritance
7.9 Virtual Patterns

8 BETA Quick Reference Card

Index

: # & > ( - / : @ [ ^ 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 |

PDF (218kb)