A formal algorithmic language FALGOL. Thirty years after |
| |
| Authors: | V N Fal’k |
| |
| Affiliation: | (1) Russian State Social University, Moscow, 129256, Russia;(2) Moscow Power Engineering Institute (Technical University), ul. Krasnokazarmennaya 14, Moscow, 111250, Russia |
| |
| Abstract: | FALGOL (Formal ALGOrithmic Language) is a fundamental theoretical model of high-level operational languages with unrestricted program object hierarchy. This model formalizes binding, assignment, substitution, and recursion; moreover, the principle of dynamic binding is implemented in the model in contrast to other formal systems of this sort, which makes FALGOL appropriate to specify the most difficultly formalized concepts in modern object programming languages. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
