Formal — A fortran memory allocation system
收藏doi.org2025-03-23 收录
下载链接：
http://doi.org/10.17632/t7shbnjphy.1
下载链接
链接失效反馈官方服务：
资源简介：
Title of program: FORMAL
Catalogue Id: AABK_v1_0
Nature of problem
The amount of working space required by many computer programs varies according to the 'characteristic size' of the physical problem being solved. To avoid all the necessary adjustments of the array declaration statements when the 'size' of the program is changed or the program code is transferred to other installation, the concept of a single working space is adopted. Efficient utilization of such a pre- allocated common working space must be ensured by appropriate 'dynamic space allocation fac ...
Versions of this program held in the CPC repository in Mendeley Data
AABK_v1_0; FORMAL; 10.1016/0010-4655(85)90120-1
This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)
程序标题：形式化
目录编号：AABK_v1_0
问题性质
针对众多计算机程序，其工作空间的需求量往往取决于所解决物理问题的‘特征尺寸’。为避免在程序‘尺寸’变更或程序代码转移至其他安装环境时，对数组声明语句进行所有必要的调整，采纳了单一工作空间的概念。必须通过适当的‘动态空间分配机制’，确保此类预先分配的公共工作空间的效率利用。
Mendeley数据中CPC仓库中保存的该程序版本
AABK_v1_0; FORMAL; 10.1016/0010-4655(85)90120-1
本程序已从贝尔法斯特女王大学所持有的CPC程序库中导入（1969-2019）
提供机构：
doi.org
