课题基金 / 基金详情

Research in Programming Language Structures: Types and Concurrency

Research in Programming Language Structures: Types and Concurrency
编程语言结构研究：类型和并发
批准号：
8814921
负责人：
John Mitchell
金额：
$18.4万
依托单位：
Stanford University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1989
资助国家：
美国
项目状态：
已结题
起止时间：
1989-07-15 至 1991-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8814921&HistoricalAwards=false
关键词：
ResearchProgrammingLanguageStructuresTypes

项目摘要

项目成果

John Mitchell的其他基金

相似基金

相关文献

中文摘要
翻译
将对编程语言的控制和数据结构进行研究，重点是并发控制和更高类型的数据。并发方面的工作将研究并发模型的代数，其中偏序多集提供具体模型，封闭范畴提供抽象模型，而类型理论方面的工作将集中在lambda演算、多态和抽象数据类型上。在这些领域的边界，将联合研究拟议的类型理论与并发理论的统一。
英文摘要
Research will be done in the control and data structures of programming languages, with emphasis on concurrent control and higher-type data. The work on concurrency will study algebras of concurreny models, with partially ordered multisets providing concrete models and closed categories providing abstract models, while the work on type theory will focus on lambda calculus, polymorphism, and abstract data types. At the boundary of these areas a joint study will be made of proposed unifications of type theory with concurrency theory.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AMPS: Mathematical Foundations of Market Operations with Renewable Bidders
  • 批准号：
    2229335
  • 项目类别：
    Standard Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2023
  • 负责人：
    John Mitchell
  • 依托单位：
    Rensselaer Polytechnic Institute
AMPS: Rank Minimization Algorithms for Wide-Area Phasor Measurement Data Processing
  • 批准号：
    1736326
  • 项目类别：
    Standard Grant
  • 资助金额：
    $24.0万
  • 财政年份：
    2017
  • 负责人：
    John Mitchell
  • 依托单位：
    Rensselaer Polytechnic Institute
SaTC-EDU: EAGER: Cybersecurity education for public policy
  • 批准号：
    1500089
  • 项目类别：
    Standard Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2015
  • 负责人：
    John Mitchell
  • 依托单位：
    Stanford University
Collaborative Research: Binary Constrained Convex Quadratic Programs with Complementarity Constraints and Extensions
  • 批准号：
    1334327
  • 项目类别：
    Standard Grant
  • 资助金额：
    $15.0万
  • 财政年份：
    2013
  • 负责人：
    John Mitchell
  • 依托单位：
    Rensselaer Polytechnic Institute
海外基金