课题基金 / 基金详情

Problems in Logics of Programs

Problems in Logics of Programs
程序逻辑问题
批准号：
8601592
负责人：
Assaf Kfoury
金额：
$10.0万
依托单位：
Trustees of Boston University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1986
资助国家：
美国
项目状态：
已结题
起止时间：
1986-11-01 至 1989-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8601592&HistoricalAwards=false
关键词：
ProblemsLogicsPrograms

项目摘要

项目成果

Assaf Kfoury的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and Safe Compositions of Network Services
  • 批准号：
    0820138
  • 项目类别：
    Standard Grant
  • 资助金额：
    $40.0万
  • 财政年份：
    2008
  • 负责人：
    Assaf Kfoury
  • 依托单位：
    Trustees of Boston University
ITR/SY (CCR): Implementing Modular Program Analysis via Intersection and Union Types
  • 批准号：
    0113193
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $44.84万
  • 财政年份：
    2001
  • 负责人：
    Assaf Kfoury
  • 依托单位：
    Trustees of Boston University
A Paradigm Shift in Program Analysis and Transformation via Intersection and Union Types
  • 批准号：
    9988529
  • 项目类别：
    Standard Grant
  • 资助金额：
    $17.01万
  • 财政年份：
    2000
  • 负责人：
    Assaf Kfoury
  • 依托单位：
    Trustees of Boston University
Experimental Software Systems: Collaborative Research: Applications of Flow Types in the Efficient, Modular, and Reliable Compilation of Higher-Order Typed Languages
  • 批准号：
    9806745
  • 项目类别：
    Standard Grant
  • 资助金额：
    $55.89万
  • 财政年份：
    1998
  • 负责人：
    Assaf Kfoury
  • 依托单位：
    Trustees of Boston University
海外基金