A THEORETICAL-MODEL OF A HIGH-LEVEL PROGRAMMING LANGUAGE

被引：0

作者：

FALK, VN

机构：

来源：

PROGRAMMING AND COMPUTER SOFTWARE | 1987年 / 13卷 / 04期

关键词：

AUTOMATA THEORY - Formal Languages - COMPUTER METATHEORY - Programming Theory;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We propose a theoretical model of a high-level programming language - the formal algorithmic language Falgol, which is described both as the language of a generalized von Neumann machine and as the language of a transformation machine which, alongside lambda -abstraction, also realizes the assignment abstraction.

引用

页码：139 / 146

页数：8