课题基金 / 基金详情

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
海外基金