PYI: Semantic Analysis in Support of Parallel Computation
PYI: Semantic Analysis in Support of Parallel Computation
批准号:
8451415
负责人:
Paul Hudak
金额:
$31.25万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1985
资助国家:
美国
项目状态:
已结题
起止时间:
1985-06-01 至 1991-11-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
-
批准号:0720682
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Paul Hudak
-
依托单位:
Functional Hybrid Modeling
-
批准号:0306046
-
项目类别:Standard Grant
-
资助金额:$27.0万
-
财政年份:2003
-
负责人:Paul Hudak
-
依托单位:
ITR: Dance, a Programming Language for the Control of Humanoid Robots
-
批准号:0325690
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2003
-
负责人:Paul Hudak
-
依托单位:
ITR: A Framework for Rapid Development of Reliable Robotics Software
-
批准号:0205542
-
项目类别:Standard Grant
-
资助金额:$51.03万
-
财政年份:2002
-
负责人:Paul Hudak
-
依托单位:
Principles of Functional Reactive Programming
-
批准号:9900957
-
项目类别:Standard Grant
-
资助金额:$24.99万
-
财政年份:1999
-
负责人:Paul Hudak
-
依托单位:
Building Evolutionary Software Through Modular Executable Specifications and Incremental Derivations
-
批准号:9633390
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:1996
-
负责人:Paul Hudak
-
依托单位:
Enhancing Geographic Education with Data Visualization and GIS Technology
-
批准号:9650346
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:1996
-
负责人:Paul Hudak
-
依托单位:
Principles of Embedded Language Design
-
批准号:9404786
-
项目类别:Standard Grant
-
资助金额:$22.5万
-
财政年份:1994
-
负责人:Paul Hudak
-
依托单位:
Software Support for the Yale Haskell Implentation
-
批准号:9104987
-
项目类别:Standard Grant
-
资助金额:$20.36万
-
财政年份:1991
-
负责人:Paul Hudak
-
依托单位:
Principles and Applications of Partial Evaluation
-
批准号:9104043
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1991
-
负责人:Paul Hudak
-
依托单位:
The Operational Semantics of Parallel Functional Programs
-
批准号:8809919
-
项目类别:Continuing Grant
-
资助金额:$22.52万
-
财政年份:1988
-
负责人:Paul Hudak
-
依托单位:
DAPS: Systems Support For AI
-
批准号:8403304
-
项目类别:Continuing Grant
-
资助金额:$13.1万
-
财政年份:1984
-
负责人:Paul Hudak
-
依托单位:
Distributed Combinator Reduction (Computer Research)
-
批准号:8302018
-
项目类别:Standard Grant
-
资助金额:$8.5万
-
财政年份:1983
-
负责人:Paul Hudak
-
依托单位:
海外基金