首页> 外文OA文献 >Static Prediction of Heap Space Usage for First-Order Functional Programs

【2h】

Static Prediction of Heap Space Usage for First-Order Functional Programs

机译：一阶功能程序的堆空间使用量的静态预测

页面导航

著录项
相似文献
相关主题

著录项

作者
Martin Hofmann; Steffen Jost;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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期

机译：一阶功能程序堆空间使用的静态预测
2. Dynamic optimization of first-order systems via static parametric programming: application to electrical discharge machining [J] . P. Huguenin, B. Srinivasan, F. Altpeter Journal of Materials Processing Technology . 2004 ,第1a3期

机译：通过静态参数编程动态优化一阶系统：在放电加工中的应用
3. Static Type inference for a First-Order Declarative Visual Programming Langnage with Inheritance [J] . REBECCA WALPOLE DJANG, MARGARET M.BURNETT, ROGER D.CHEN Journal of Visual Languages & Computing . 2000 ,第2期

机译：具有继承的一阶声明式可视化编程语言的静态类型推断
4. Static Prediction of Heap Space Usage for First-Order Functional Programs [C] . Martin Hofmann, Steffen Jost POPL 2003: the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Jan 15-17, 2003 New Orleans, Louisiana, USA . 2003

机译：一阶功能程序的堆空间使用量的静态预测
5. Effects of multiple follow-up contacts on usage of activities by participants in an Aerospace Education Services Program workshop. [D] . Pratt, James Enoch. 1998

机译：航空教育服务计划研讨会的参与者进行多次跟进接触对活动使用的影响。
6. Expandable spacers provide better functional outcomes than static spacers in minimally invasive transforaminal lumbar interbody fusion [O] . M. Adam Kremer, Jefferson Alferink, Stacie Wynsma, 2019

机译：在微创经椎间孔腰椎椎体间融合术中可扩展垫片比静态垫片提供更好的功能结果
7. Static and free vibration of axially loaded functionally graded beams based on the first-order shear deformation theory [O] . Nguyen, Trung-Kien, Vo, Thuc, Thai, Huu-Tai 2013

机译：基于一阶剪切变形理论的轴向加载功能梯度梁的静，自由振动

Static Prediction of Heap Space Usage for First-Order Functional Programs

著录项

相似文献

相关主题

期刊订阅