Design and Implementation of Component-Oriented Programming Languages
Design and Implementation of Component-Oriented Programming Languages
批准号:
0105710
负责人:
Michael Franz
金额:
$24.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-07-01 至 2004-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
A thorough investigation of componene-oriented programming languagesis undertaken that entails (a) designing a component-oriented language,(b) implementing it efficiently on modern computer architectures, and(c) ensuring its applicability through case studies.Design of the new language entails evaluating the suitability ofexisting programming-language concepts for component-orientedprogramming, specifying and evaluating new programming-languagefeatures, and integrating the new and the old into a coherent newlanguage. Implementation involves assessing existing compilertechnology, proposing, building, and evaluating new compilermechanisms, and merging them into an efficient compiler and runtimesystem. Finally, to ensure the language's applicability, a variety ofcase studies are designed and implemented and the resulting systemscompared to more traditional solutions.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: EAGER: Cross-platform Election Advertising Transparency Initiative
-
批准号:2235007
-
项目类别:Standard Grant
-
资助金额:$1.99万
-
财政年份:2022
-
负责人:Michael Franz
-
依托单位:
TWC: Small: Hydra - Hybrid Defenses for Resilient Applications: Practical Approaches Towards Defense In Depth
-
批准号:1619211
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2016
-
负责人:Michael Franz
-
依托单位:
TWC: TTP Option: Medium: Collaborative: ENCORE - ENhanced program protection through COmpiler-REwriter cooperation
-
批准号:1513837
-
项目类别:Standard Grant
-
资助金额:$61.93万
-
财政年份:2015
-
负责人:Michael Franz
-
依托单位:
I-Corps: Hardening Programs Against Cyber Attacks
-
批准号:1439439
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2014
-
负责人:Michael Franz
-
依托单位:
SHF: CSR: Small: Fine-Grained Modularity and Reuse of VM Components
-
批准号:1117162
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2011
-
负责人:Michael Franz
-
依托单位:
TC: Medium: Collaborative Research:Next-Generation Infrastructure for Trustworthy Web Applications
-
批准号:0905684
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2009
-
负责人:Michael Franz
-
依托单位:
CT-ISG: MLS-VM: Design and Implementation of a Next-Generation Information-Centric Target Platform for Trusted Internet Computing
-
批准号:0627747
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Michael Franz
-
依托单位:
CSR-EHS: Virtual-Machine Techniques for Resource-Constrained Devices: Reconciling Reliability With Reusability and Low Development Costs in the Embedded Systems Space
-
批准号:0615443
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Michael Franz
-
依托单位:
ITR: Virtual Power for a Wireless Campus - A Vision of Ubiquitous Computing On Low-Cost Mobile Devices
-
批准号:0205712
-
项目类别:Continuing Grant
-
资助金额:$200.08万
-
财政年份:2002
-
负责人:Michael Franz
-
依托单位:
Practical Language-Based Security, From The Ground Up
-
批准号:0209163
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2002
-
负责人:Michael Franz
-
依托单位:
Graph-Based Mobile-Code Representations for High-PerformancePortable Software
-
批准号:9901689
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:1999
-
负责人:Michael Franz
-
依托单位:
CAREER: Dynamic Optimization of Software Component Systems
-
批准号:9701400
-
项目类别:Continuing Grant
-
资助金额:$21.0万
-
财政年份:1997
-
负责人:Michael Franz
-
依托单位:
海外基金