Deep Type Inference for Mobile Functions

Deep Type Inference for Mobile Functions
复制标题

移动功能的深度类型推理

DOI:
--
复制
发表时间:
1999
期刊:
Scottish Functional Programming Workshop
影响因子:
--
通讯作者:
Stephen Gilmore
Stephen Gilmore
中科院分区:
--
文献类型:
--
作者:
Stephen Gilmore

文献摘要

被引文献

相似文献

我们考虑评估移动代码可信度的问题。我们引入了对编译后的目标代码进行深度类型推断的想法,并解释了它作为一种确定移动代码单元所需安全管理级别方法的有用性。
We consider the problem of assessing the trustworthiness of mobile code. We introduce the idea of deep type inference on compiled object code and explain its usefulness as a method of deciding the level of security management which a unit of mobile code will require.