课题基金 / 基金详情

Software Templates (Computer Research)

Software Templates (Computer Research)
软件模板（计算机研究）
批准号：
8303927
负责人：
Richard Kieburtz
金额：
$10.99万
依托单位：
Oregon Graduate Institute of Science & Technology
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1983
资助国家：
美国
项目状态：
已结题
起止时间：
1983-08-01 至 1986-01-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8303927&HistoricalAwards=false
关键词：
SoftwareTemplatesComputerResearch

项目摘要

项目成果

Richard Kieburtz的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
13th International Conference on Theorem Proving in Higher Order Logics
Refining Program Specifications by Automatic Transformation
Constructing Software From Specifications
Experimental Evaluation of the G-Machine
海外基金