Perlis_A_Definition_of_Formula_Algol_Mar66.pdf

(2982 KB) Pobierz
A DEFINITION OF FORMULA ALGOLt
Alan
J.
Perl is
Renato Iturriagatt
Thomas A. Standishttt
. t The research reported here was supported by the Advanced Research
Projects Agency of the Department of Defense under Contract SD-146
to the Carnegie Institute of Technology.
tt Partially supported by the National University of Mexico and the
Instituto Naciona1 de 1a Investigacion Cientifica.
tttNationa1 Science Foundation graduate fellow.
This paper was presented at the
Symposium on Symbolic and Algebraic Manipulation
of the
Association for Computing Machinery, Washington, D.C.
March 29-31, 1966.
ACKNOWLEDGEMENT:
We
.'~:t:e
grateful
to Professor Robert'
W.
Floyd and L. Stephen Coles
for numerous helpful suggestions regarding the preparation of the
manuBcript.
ABSTRACT
Formula Algol is an extension to ALGOL 60 incorporating formula
manipulation and list processing.
This paper defines a current
version of the Formula Algol language which' is implemented on the
CDC G-20 .•
1.
Contents and General Description
1.1
Contents
1.
2.
Contents and General Description
The
~
and
s~bol
Declaratioris
3.
Formula Expressions and Symbolic Expressions
3.1 'Formula Expressions
3.1.1
3.1.·2
3.1.3
Syntax
Examples
Semantics of
Ari~hmetic,
Boolean,
Conditional, Procedure, Array,
and Assignment Formulae
Evalua'tion Rules and Evaluated
Formulae
3.1.4.1
3.1.4.2
3.1.4.3
3.2
Syntax
Examples
Semantics
3.1.4
Symbolic Expressi9ns
3.2.1
3.2.2
3.2.3
3.2.4
Syntax
Examples
Semantics
Lists
3.2.4.1
3.2.4.2
3.2.4.3
3.2.5
Syntax
Examples
Semantics
Description Lists
3.2.5.1 ,Syntax
3.2.5.2
3.2.5.3
Examples
Semantics
3.2.6 ,Selection Expressions
3.2.6. 1
3.2.6.3
Syntax,
Semantics
3.2.6.2, Examples

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin