Presidential Young Investigator Award: Language-Based Program Development Tools
Presidential Young Investigator Award: Language-Based Program Development Tools
批准号:
8552602
负责人:
Thomas Reps
金额:
$31.2万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1986
资助国家:
美国
项目状态:
已结题
起止时间:
1986-07-01 至 1991-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code
-
批准号:2212558
-
项目类别:Standard Grant
-
资助金额:$20.92万
-
财政年份:2022
-
负责人:Thomas Reps
-
依托单位:
SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly
-
批准号:1420866
-
项目类别:Standard Grant
-
资助金额:$47.78万
-
财政年份:2014
-
负责人:Thomas Reps
-
依托单位:
SHF: Medium: MACANTOK -- a MAchine-Code-ANalysis TOol Kit -- and its Applications
-
批准号:0904371
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2009
-
负责人:Thomas Reps
-
依托单位:
Advanced Methods for Performing Static Analysis of Machine Code
-
批准号:0810053
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Thomas Reps
-
依托单位:
Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software
-
批准号:0540955
-
项目类别:Continuing Grant
-
资助金额:$27.5万
-
财政年份:2006
-
负责人:Thomas Reps
-
依托单位:
CT-ISG: Advanced Methods for Checking Information-Security Properties
-
批准号:0524051
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2005
-
负责人:Thomas Reps
-
依托单位:
Investigation of a New Compressed Representation of Boolean Functions
-
批准号:9986308
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2000
-
负责人:Thomas Reps
-
依托单位:
Shape-Analysis for Languages with Destructive Updating
-
批准号:9619219
-
项目类别:Standard Grant
-
资助金额:$14.99万
-
财政年份:1997
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Manipulation
-
批准号:9625667
-
项目类别:Standard Grant
-
资助金额:$16.04万
-
财政年份:1996
-
负责人:Thomas Reps
-
依托单位:
Travel Support for U.S. Participants at an International Workshop; Wadern, Germany; March 9-13, 1992
-
批准号:9122095
-
项目类别:Standard Grant
-
资助金额:$1.65万
-
财政年份:1992
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Integration
-
批准号:9100424
-
项目类别:Continuing Grant
-
资助金额:$33.12万
-
财政年份:1991
-
负责人:Thomas Reps
-
依托单位:
海外基金