首页> 外文OA文献 >Static determination of quantitative resource usage for higher-order programs

【2h】

Static determination of quantitative resource usage for higher-order programs

机译：静态确定高阶程序的定量资源使用情况

页面导航

著录项
相似文献
相关主题

著录项

作者
Jost Steffen; Hammond Kevin; Loidl Hans Wolfgang; Hofmann Martin;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Static determination of quantitative resource usage for higher-order programs [J] . Jost Steffen, Hammond Kevin, Loidl Hans-Wolfgang, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第1期

机译：静态确定高阶程序的定量资源使用情况
2. Static Prediction of Heap Space Usage for First-Order Functional Programs [J] . Martin Hofmann, Steffen Jost ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2003,第1期

机译：一阶功能程序堆空间使用的静态预测
3. Characterization of runtime resource usage from analysis of binary executable programs [J] . Pinto Rene de Souza, Botazzo Delbem Alexandre Claudio, Monaco Francisco Jose Applied Soft Computing . 2018,第期

机译：分析二元可执行程序的运行时资源使用的特征
4. Static Determination of Quantitative Resource Usage for Higher-Order Programs [C] . Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Principles of programming languages . 2010

机译：静态确定高阶程序的定量资源使用情况
5. Evidence-based study of resource usage in California's Program Improvement schools. [D] . Ivey, Raymond, II. 2010

机译：加利福尼亚州计划改进学校中资源使用情况的循证研究。
6. A genome resource to address mechanisms of developmental programming: determination of the fetal sheep heart transcriptome [O] . Laura A Cox, Jeremy P Glenn, Kimberly D Spradling, 2012

机译：解决发育程序化机制的基因组资源：确定胎羊心脏转录组
7. Static determination of quantitative resource usage for higher-order programs [O] . Jost Steffen, Hammond Kevin, Loidl Hans Wolfgang, 2010

机译：静态确定高阶程序的定量资源使用情况

Static determination of quantitative resource usage for higher-order programs

著录项

相似文献

相关主题

期刊订阅