ITR Collaborative Research: A Reusable, Extensible, Optimizing Back End
ITR Collaborative Research: A Reusable, Extensible, Optimizing Back End
批准号:
0325460
负责人:
Norman Ramsey
金额:
$59.8万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-10-15 至 2008-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
A computer program is written in a high-level *programming* *language*,but to be run, it must be translated into a *machine* *language*.A translator is difficult and expensive to build, and using today'stechniques, each programming language needs its own translator. Forexample, it is nearly impossible to use the same translator for both Javaand C++. The project is developing techniques by which a ``back end,''which understands machine language, can serve many different ``frontends,'' each of which understands a different programming language.Combining such front and back ends can produce a translator much morecheaply than is possible at present. The major new idea is to use*three* interfaces. The C-- language is an interface that enablesthe front end to tell the back end what a program should do. The C--run-time interface reveals decisions made by the back end so that thefront end can support such services as garbage collection and threads.The Cobalt language is an interface that enables the front end to tell theback end what special translation techniques are needed for efficiency ina particular language. These interfaces are supported by new, automatictechniques for eliminating potential errors in translation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
ITR Collaborative Research: A Reusable, Extensible, Optimizing Back End
-
批准号:0838899
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Norman Ramsey
-
依托单位:
Using Declarative Machine Descriptions in a Retargetable Optimizing Compiler
-
批准号:0311482
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2003
-
负责人:Norman Ramsey
-
依托单位:
Career: Reusable Specifications for Retargetability
-
批准号:0096069
-
项目类别:Continuing Grant
-
资助金额:$4.75万
-
财政年份:1999
-
负责人:Norman Ramsey
-
依托单位:
Next Generation Software: Active Debugging Information for Multi-Language, Multi-Platform Debugging
-
批准号:9974967
-
项目类别:Continuing Grant
-
资助金额:$16.77万
-
财政年份:1999
-
负责人:Norman Ramsey
-
依托单位:
Next Generation Software: Active Debugging Information for Multi-Language, Multi-Platform Debugging
-
批准号:0096091
-
项目类别:Continuing Grant
-
资助金额:$16.77万
-
财政年份:1999
-
负责人:Norman Ramsey
-
依托单位:
Career: Reusable Specifications for Retargetability
-
批准号:9733974
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1998
-
负责人:Norman Ramsey
-
依托单位:
Experiments on Electric Dipole Moment and Parity Non-Conserving Spin Rotations of the Neutron (Physics)
-
批准号:8213983
-
项目类别:Standard Grant
-
资助金额:$3.8万
-
财政年份:1982
-
负责人:Norman Ramsey
-
依托单位:
Neutron Electric Dipole Moment and Parity Violating Spin Rotation Experiments
-
批准号:8021912
-
项目类别:Standard Grant
-
资助金额:$1.4万
-
财政年份:1981
-
负责人:Norman Ramsey
-
依托单位:
Experiment to Test Time Reversal Symmetry
-
批准号:8008015
-
项目类别:Standard Grant
-
资助金额:$4.0万
-
财政年份:1980
-
负责人:Norman Ramsey
-
依托单位:
Electric Dipole Moment and Parity Violating Spin Rotation Of the Neutron
-
批准号:7808561
-
项目类别:Standard Grant
-
资助金额:$3.6万
-
财政年份:1978
-
负责人:Norman Ramsey
-
依托单位:
Molecular Beam, Hydrogen Maser and Stored Atom Research
-
批准号:7713938
-
项目类别:Continuing Grant
-
资助金额:$34.72万
-
财政年份:1977
-
负责人:Norman Ramsey
-
依托单位:
Neutron Electric and Magnetic Dipole Moment Experiments at Grenoble
-
批准号:7521228
-
项目类别:Standard Grant
-
资助金额:$2.63万
-
财政年份:1975
-
负责人:Norman Ramsey
-
依托单位:
Molecular Beam, Hydrogen Maser, and Stored Atom Research
-
批准号:7412429
-
项目类别:Continuing Grant
-
资助金额:$33.69万
-
财政年份:1974
-
负责人:Norman Ramsey
-
依托单位:
海外基金